Filter
Søkt på: computer programming
Filter
totalt 11 treff
Foregående
Henter flere produkter
Verification of Sequential and Concurrent Programs
heftet,
2012,
Engelsk,
ISBN 9781447125136
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded …