Denna webbshop är stängd för köp.
Klicka här för mer information

Formal Methods: Foundations and Applications
  • Bandtyp: Häftad
  • Språk: Engelska
  • Utgiven: 201602
  • Antal sidor: 195
  • Upplaga: 1st ed. 2016, 
    Vikt i gram: 3343
  • ISBN10:3319294725
  • ISBN13:9783319294728

Formal Methods: Foundations and Applications

(Häftad)

Beskrivning:

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.

Kundrecensioner och bloggar

Sök fler böcker:

Kunder som köpt denna bok har
även köpt:
Skotten i Köpenhamn :  ett reportage om
Vintermörker :  samlade spänningshistori
Uppgång och fall
Uppgång och fall
av Strömquist, Liv
Miniatyrmakaren
Miniatyrmakaren
av Burton, Jessie
Min mors självbiografi
Min mors självbiografi
av Kincaid, Jamaica