Gå direkt till innehållet
Verification of Sequential and Concurrent Programs
Spara

Verification of Sequential and Concurrent Programs

Lägsta pris på PriceRunner
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs.
Upplaga
Third Edition 2009
ISBN
9781447125136
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2012-03-14
Sidor
502