Request 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.

You must first login before requesting items. Additional help requesting materials for Benedictine borrowers.