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

Bibliographic Details

Main Author:	Hutter, Dieter
Corporate Author:	SpringerLink (Online service)
Other Authors:	Stephan, Werner, Traverso, Paolo, Ullmann, Markus
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1999.
Series:	Lecture notes in computer science ; 1641.
Subjects:	Computer science. Logic design. Software engineering. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Programming Languages, Compilers, Interpreters. Programming Techniques. Software Engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book