Location & Availability for: Integrated formal methods : 5th internat

 Staff view

You must be logged in to Tag Records

Integrated formal methods [electronic resource] : 5th international conference, IFM 2005, Eindhoven, The Netherlands, November 29--December 2, 2005 : proceedings /

Judi Romijn, Graeme Smith, Jaco van de Pol (eds.).

Book Cover
Names: Romijn, Judi. | Smith, Graeme, | Pol, Jaco van de.
Published: Berlin ; Springer, c2005.
Series: Lecture notes in computer science, 3771
Topics: Formal methods (Computer science) - Congresses.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Integrated formal methods : 5th internat