Siirry suoraan sisältöön
Verification of Sequential and Concurrent Programs
Tallenna

Verification of Sequential and Concurrent Programs

HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.
Painos
Third Edition 2009
ISBN
9781848827448
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
5.10.2009
Sivumäärä
502