FM 2008 formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

FM 2008 [electronic resource] : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings / Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully revie...

Full description

Saved in:
Bibliographic Details
Online Access: Full Text (via Springer)
Corporate Author: International Symposium of Formal Methods Europe Turku, Finland
Other Authors: Cuellar, Jorge, Maibaum, Thomas S. E., 1947-, Sere, K. (Kaisa), 1954-
Format: Electronic Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, ©2008.
Series:LNCS sublibrary. Programming and software engineering.
Lecture notes in computer science ; 5014.
Subjects:
Computer software > Development > Congresses.
Formal methods (Computer science) > Congresses.
System design > Mathematics > Congresses.

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number: QA76.76.D47 I593 2008eb
QA76.76.D47 I593 2008eb Available

Similar Items