Limit search to available items
Book Cover
E-book
Author International Symposium of Formal Methods Europe (14th : 2006 : Hamilton, Ont.)

Title FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings / Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)
Published Berlin ; New York : Springer, [2006]
©2006
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource (xv, 620 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4085
Lecture notes in computer science ; 4085. 0302-9743
Analysis FM
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Computer software -- Development -- Congresses.
Formal methods (Computer science) -- Congresses.
System design -- Mathematics -- Congresses.
Genre/Form Conference papers and proceedings.
Conference papers and proceedings.
Form Electronic book
Author Misra, Jayadev.
Nipkow, Tobias, 1958-
Sekerinski, E. (Emil), 1963-
LC no. 2006930417
ISBN 9783540372165
3540372164
3540372156
9783540372158
Other Titles 14th International Symposium on Formal Methods
Fourteenth International Symposium on Formal Methods