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

 Staff view

You must be logged in to Tag Records

Integrated formal methods [electronic resource] : 6th international conference, IFM 2007, Oxford, UK, July 2-5, 2007 : proceedings /

Jim Davies, Jeremy Gibbons (eds.).

Book Cover
Names: Davies, Jim, | Gibbons, Jeremy,
Published: Berlin ; Springer, c2007.
Series: Lecture notes in computer science, 4591
LNCS sublibrary. SL 2, Programming and software engineering
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 : 6th internat