FM 2006: Formal Methods (e-bog) af -

Sekerinski, Emil (redaktør)

FM 2006: Formal Methods e-bog

1094,16 DKK (ekskl. moms 875,33 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…

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.

E-bog 1094,16 DKK

Kan læses i vores apps til iPhone/iPad og Android.

Forfattere Sekerinski, Emil (redaktør)

Forlag Springer

Udgivet 08.08.2006

Genrer Computer programming / software engineering

Sprog English

Format pdf

Beskyttelse LCP

ISBN 9783540372165

Beskrivelse

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.