Location & Availability for: Integrated formal methods : second inter

 Staff view

You must be logged in to Tag Records

Integrated formal methods [electronic resource] : 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: Berlin ; Springer, 2000.
Series: Lecture notes in computer science ; 1945.
Topics: Formal methods (Computer science) - Congresses.
Genres: Electronic books. | Conference proceedings.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Integrated formal methods : second inter