Media type: Book; Conference Proceedings Title: FM 2006 : formal methods ; 14th International Symposium on Formal Methods, Hamilton, Canada, August 21 - 27, 2006 ; proceedings Contributor: Misra, Jayadev [Hrsg.] imprint: Berlin; Heidelberg: Springer, 2006 Published in: Lecture notes in computer science ; 4085 Extent: XV, 620 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 9783540372158; 3540372156 Publisher, production or purchase order numbers: Sonstige Nummer: 11813040 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Formale Methode Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Softwaretest Softwareentwicklung > Programmanalyse > Programmverifikation > Model Checking Formale Methode Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Software > Testen Softwareentwicklung > Programmanalyse > Programmverifikation > Model Checking Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7609 Item ID: 31654420 Status: Loanable, place order > Ordering possible ‒ please log in Orders received from Mon - Fri by 1 pm are expected to be ready for you on the same day.