Description: Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29--December 2, 2005 : proceedings / Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).

Summary goes here

Saved in:

Bibliographic Details
Format:	Book
Language:	English
Subjects:	Formal methods (Computer science) Electronic Data Processing Méthodes formelles (Informatique) computer science. data processing. COMPUTERS Informatique. Formale Methode Model Checking Softwareentwicklung Spezifikationssprache Systementwicklung Verifikation Congress proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Eindhoven (2005) Kongress.
Tags:	Add Tag No Tags, Be the first to tag this record!

Description
Summary:	Summary goes here
Item Description:	General Notes
Physical Description:	1 online resource (xi, 405 pages) :illustrations
ISBN:	9783540322405 354032240X 3540304924 9783540304920 6611391606 9786611391607