Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Verification of Sequential and Concurrent Programs
inbunden,
2009,
Engelska,
ISBN 9781848827448
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 …
Verification of Sequential and Concurrent Programs
häftad,
2012,
Engelska,
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 …