Gå direkte til innholdet
Verification of Sequential and Concurrent Programs
Spar

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.
Opplag
Third Edition 2009
ISBN
9781848827448
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
5.10.2009
Antall sider
502