Gå direkt till innehållet
FM 2008: Formal Methods
Spara

FM 2008: Formal Methods

Lägsta pris på PriceRunner
The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
Undertitel
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Upplaga
2008 ed.
ISBN
9783540682356
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2008-05-08
Sidor
436