User Reviews 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.


Please log in to add reviews or comments to the public catalog.
To communicate with library staff, use the Feedback link.

User Reviews for: Integrated formal methods : second inter