Location & Availability for: Integrated formal methods : Third Intern

 Staff view

You must be logged in to Tag Records

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /

Michael Butler, Luigia Petre, Kaisa Sere, eds.

Book Cover
Names: Butler, Michael, | Petre, Luigia, | Sere, K.
Published: Berlin ; Springer, c2002.
Series: Lecture notes in computer science, 2335
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 : Third Intern