Produktbild: VDM '90.VDM and Z - Formal Methods in Software Development

VDM ’90.VDM and Z – Formal Methods in Software Development

Lieferzeit: Lieferbar innerhalb 14 Tagen

53,49 €

inkl. 7 % MwSt. zzgl. Versandkosten

Third International Symposium of VDM Europe, Kiel, FRG, April 17-21,1990, Proceedings, Lecture Notes in Computer Science 428

ISBN: 3540525130
ISBN 13: 9783540525134
Herausgeber: Dines Bjørner/C A R Hoare/Hans Langmaack
Verlag: Springer Verlag GmbH
Umfang: xx, 588 S.
Erscheinungsdatum: 04.04.1990
Produktform: Kartoniert
Einband: Kartoniert
Artikelnummer: 1483948 Kategorie:

Beschreibung

This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe have the distinguished mark that they are concerned with bringing real theory to apply to real programming.

Herstellerkennzeichnung:


Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …