Cover is for reference only

FM 2006：formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

Saved in:
Bibliographic Details
Corporate Authors: International Symposium of Formal Methods Europe (14th 2006 Hamilton, Ont.)
Group Author: Nipkow Tobias, 1958-; Sekerinski Emil.
Published: Springer,
Publisher Address: Berlin New York
Publication Dates: c2006.
Literature type: Book
Language: English
Series: Lecture notes in computer science ; 4085
Subjects:
Computer software > Development.
System design > Mathematics
Carrier Form: xv, 620 p.: ; 24 cm.
Publication Frequency: Also available via the World Wide Web.
ISBN: 3540372156
9783540372158
Index Number: TP311
CLC: TP311.52-532
TP311.133.1-532
Call Number: TP311.52-532/I61/2006

Related Book Recommendations