Media type: Book; Conference Proceedings Title: Tests and proofs : first international conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007 ; revised papers Contributor: Gurevich, Yuri [Hrsg.]; Meyer, Bertrand [Other] Event: TAP imprint: Berlin; Heidelberg: Springer, 2007 Published in: Lecture notes in computer science ; 4454 Extent: VIII, 216 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540737693; 9783540737698 Publisher, production or purchase order numbers: Sonstige Nummer: 12095476 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Softwareentwicklung > Softwaretest > Korrektheit > Beweis Softwaresystem > Model Checking > Formale Methode Softwareentwicklung > Softwaretest > Korrektheit > Beweis Softwaresystem > Model Checking > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 8326 Item ID: 31879259 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order