4 treff

A theory and practice of program development
Derek Andrews
Bok Engelsk 1997
Practical formal methods with VDM
Derek Andrews and Darrel Ince
Bok Engelsk 1991
Formal methods in standards : a report from the BCS working group
C. L. N. Ruggles (ed.), principal contrib...
Bok Engelsk 1990
Formal specification and software development
Dines Bjørner and Cliff B. Jones ; in col...
Bok Engelsk 1982