Media type: Book; Conference Proceedings Title: Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005 ; proceedings Contributor: Smith, Graeme P. [Other]; Pol, Jaco C. van de [Other]; Romijn, Judi M. [Editor] Event: IFM Published: Berlin; Heidelberg [u.a.]: Springer, 2005 Published in: Lecture notes in computer science ; 3771 Extent: XI, 405 S.; graph. Darst; 235 mm x 155 mm Language: English ISBN: 3540304924; 9783540304920 Publisher, production or purchase order numbers: Sonstige Nummer: 11589976 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Formale Methode > Spezifikationssprache > Verifikation Model Checking > Formale Methode Softwareentwicklung > Formale Methode Systementwicklung > Formale Methode Formale Methode > Spezifikationssprache > Verifikation Model Checking > Formale Methode Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 7268 Item ID: 31544091 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order