Cover Image

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

Show other versions (1)
Bibliographic Details
Corporate Authors: International Symposium of Formal Methods Europe Hamilton, Ont., SpringerLink (Online service)
Other Authors: Misra, Jayadev, Nipkow, Tobias, 1958-, Sekerinski, E. (Emil), 1963-
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2006]
Series:Lecture notes in computer science. 4085.
Subjects:
Computer software > Development > Congresses.
Formal methods (Computer science) > Congresses.
System design > Mathematics > Congresses.
Logiciels > Développement > Congrès.
Méthodes formelles (Informatique) > Congrès.
Systèmes, Conception de > Mathématiques > Congrès.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description

Internet

Connect to the full text of this electronic book
Publisher description

Available Online

Holdings details from Available Online
Call Number: QA76.76.D47 I593 2006eb
 
Call Number Status Get It
QA76.76.D47 I593 2006eb Available