Location & Availability for: Integrated formal methods : second inter

 Staff view

You must be logged in to Tag Records

Integrated formal methods : second international conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings /

Wolfgang Grieskamp, Thomas Santen, Bill Stoddart (eds.).

Book Cover
Names: Grieskamp, Wolfgang, | Santen, Thomas, | Stoddart, Bill,
Published: New York : Springer, c2000.
Series: Lecture notes in computer science ; 1945
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 : second inter