Filter
Sökt på: Sökresultat
Filter
1 träff
Proof in VDM: A Practitioner’s Guide
häftad,
1993,
Engelska,
ISBN 9783540198130
Formal specifications were first used in the description of program ming languages because of the central role that languages and their compilers play in causing a machine to …