FM 2006: Formal Methods (e-bog) af -
Sekerinski, Emil (redaktør)

FM 2006: Formal Methods e-bog

875,33 DKK (inkl. moms 1094,16 DKK)
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial...
E-bog 875,33 DKK
Forfattere Sekerinski, Emil (redaktør)
Forlag Springer
Udgivet 8 august 2006
Genrer Computer programming / software engineering
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540372165
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.