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
9781447125136
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
14.3.2012
Antall sider
502