Saxo Access
Indkøbskurv
  3. FM 2015: Formal Methods
FM 2015: Formal Methods (e-bog) af -
Boer, Frank de (redaktør)

FM 2015: Formal Methods e-bog

436,85 DKK (inkl. moms 546,06 DKK)
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Boer, Frank de (redaktør)
Forlag Springer
Udgivet 23 maj 2015
Genrer KJQ
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783319192499

Beskrivelse

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.