Juan C. Bicarregui – författare
Visar alla böcker från författaren Juan C. Bicarregui. Handla med fri frakt och snabb leverans.
3 produkter
Proof in VDM: Case Studies
E-bok, 2012
1502 kr
Lägg i varukorg
Not so many years ago, it would have been difficult to find more than a handful of examples of the use of formal methods in industry. Today however, the industrial application of formal methods is becoming increasingly common in a variety of application areas, particularly those with a safety, …
Proof in VDM: A Practitioner’s Guide
Av Juan C. Bicarregui, John Fitzgerald m. fl.
Häftad, 1993
551 kr
Lägg i varukorg
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 perform the computations required by a programmer. In a relatively short time, specification notations have found their …
Proof in VDM: Case Studies
Häftad, 1998
1128 kr
Lägg i varukorg
This volume provides a companion to "Proof in VDM: a Practitioner's Guide". Using the proof theory presented in that volume, it examines a variety of realistic case studies which illustrate different aspects of the use of proof in formal development. Rather than concentrating on the construction of …
