Filter
Søkt på: Søkeresultat
Filter
totalt 2 treff
Proof in VDM: A Practitioner’s Guide
heftet,
1993,
Engelsk,
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 …
Specification Case Studies in RAISE
heftet,
2002,
Engelsk,
ISBN 9781852333591
This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The …