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

 Staff view

You must be logged in to Tag Records

Integrated formal methods : 4th international conference, IFM 2004, Canterbury, UK, April 4-7, 2004 ; proceedings /

Eerke A. Boiten, John Derrick, Graeme Smith (eds.).

Book Cover
Names: Boiten, Eerke, | Derrick, John, | Smith, Graeme,
Published: Berlin ; Springer-Verlag, c2004.
Series: Lecture notes in computer science, 2999
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 : 4th internat