1 Електронні книги від Andreas Fett
Jonathan P. Bowen & Andreas Fett: ZUM ’98: The Z Formal Specification Notation
1 In a number of recent presentations – most notably at FME’96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare, has highlighted the fact that formal methods are not the only …
PDF
Англійська
DRM
€57.99
