Siirry suoraan sisältöön
FM 2008: Formal Methods
Tallenna

FM 2008: Formal Methods

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.
Alaotsikko
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings
Painos
2008 ed.
ISBN
9783540682356
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
8.5.2008
Sivumäärä
436