VDM ’91.Formal Software Development Methods.4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25,1991.Proceedings

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Volume 2: Tutorials, Lecture Notes in Computer Science 552

ISBN: 3540548688
ISBN 13: 9783540548683
Herausgeber: Soren Prehn/Hans Toetenel
Verlag: Springer Verlag GmbH
Umfang: xv, 433 S.
Erscheinungsdatum: 14.10.1991
Produktform: Kartoniert
Einband: KT
Artikelnummer: 1432008 Kategorie:

Beschreibung

InhaltsangabeA tutorial on Larch and LCL, a Larch/C interface language.- A tutorial on the refinement calculus.- Tutorial lecture notes on the Irish School of the VDM.- The RAISE specification language a tutorial.- Formal Development with ABEL.- The PROSPECTRA methodology and system: uniform transformational (meta-) development.- The B-method.- Mathematical methods for digital systems development.

Das könnte Ihnen auch gefallen …