Saxo Access
Indkøbskurv
  3. Formal Methods: Foundations and Applications
Formal Methods: Foundations and Applications (e-bog) af -
Roscoe, Bill (redaktør)

Formal Methods: Foundations and Applications e-bog

329,95 DKK (inkl. moms 412,44 DKK)
This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and eval...
E-bog 329,95 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Roscoe, Bill (redaktør)
Forlag Springer
Udgivet 23 januar 2016
Genrer KJQ
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783319294735

Beskrivelse

This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015.The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking; languages and semantics; refinement andverification; testing and evaluation.