Location & Availability for: Applied formal methods--FM-Trends 98 : I

 Staff view

You must be logged in to Tag Records

Applied formal methods--FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings /

Dieter Hutter [and others] (eds.).

Book Cover
Names: Hutter, Dieter.
Published: Berlin ; Springer, ©1999.
Series: Lecture notes in computer science ; 1641.
Topics: Formal methods (Computer science) - Congresses. | Méthodes formelles (Informatique) - Congrès. | Formele logica. | Engenharia de programacao (software)
Genres: Electronic books. | Conference papers and proceedings.
Tags: Add


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


Loading Holdings Data ... Loading

Location & Availability for: Applied formal methods--FM-Trends 98 : I