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

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

106,99 €

inkl. 7 % MwSt. zzgl. Versandkosten

Volume 1: Conference Contributions, Lecture Notes in Computer Science 551

ISBN:	3540548343
ISBN 13:	9783540548348
Herausgeber:	Soren Prehn/Hans Toetenel
Verlag:	Springer Verlag GmbH
Umfang:	xv, 705 S.
Erscheinungsdatum:	14.10.1991
Produktform:	Kartoniert
Einband:	Kartoniert

Artikelnummer: 1435242 Kategorie: Informatik

Beschreibung

Beschreibung

The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.

Herstellerkennzeichnung:

Springer Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

E-Mail: juergen.hartmann@springer.com

Das könnte Ihnen auch gefallen …

Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
21. Internationales Stuttgarter Symposium (Set)
229,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the Third USSR – FRG Symposium : Makhachkala (USSR), October 2-6,1980
169,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on New Energy and Electrical Technology
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
4th International Glass Fiber Symposium
39,50 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Databases and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
21. Internationales Stuttgarter Symposium
159,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
October
21,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of 4th International Conference in Software Engineering for Defence Applications
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods for Software Engineering
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods for Software Engineering
80,24 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Abstract State Machines, Alloy, B,VDM, and Z
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th Brazilian Technology Symposium (BTSym’18)
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Engineering for Industrial Software Development
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods for Executable Software Models
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
International Symposium on Fundamentals of Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on Plasma and Energy Conversion
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
October, October
12,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Abstract State Machines, Alloy, B,TLA, VDM, and Z
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Engineering for Industrial Software Development
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Abstract State Machines, Alloy, B,TLA, VDM, and Z
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Conference (ICoWEFS 2024)
192,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
VDM ’87.VDM – A Formal Method at Work
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
79,17 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
42,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Conference Engineering Innovations and Sustainable Development
246,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Netherland
14,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on New Energy and Electrical Technology
299,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
October, October
18,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Netherlands
25,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
October, October
10,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on Materials and Sustainable Development
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
70,61 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on Plasma and Energy Conversion
139,09 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th Brazilian Technology Symposium (BTSym’18)
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on Materials and Sustainable Development
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Kombination dynamischer und formaler Methoden zur Verifikation objektorientierter Software
28,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The 4th Asian Physics Symposium
171,15 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Major Companies of Europe 1990/91
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the International Symposium MTNS-89
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
4th International Symposium of Space Optical Instruments and Applications
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
VDM ’90.VDM and Z – Formal Methods in Software Development
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
4th International Symposium of Space Optical Instruments and Applications
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
VDM ’91.Formal Software Development Methods.4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25,1991.Proceedings
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods for Eternal Networked Software Systems
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
21. Internationales Stuttgarter Symposium
159,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proof in VDM: A Practitioners Guide
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Major Companies of Europe 1990/91
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Abstract State Machines, Alloy, B,TLA, VDM, and Z
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software-Ergonomie 91
49,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
96,29 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium on Materials and Sustainable Development
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th International Symposium in Environmental Science and Industrial Ecology
235,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
79,17 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The October Man
13,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
79,18 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the Eighteenth International Seaweed Symposium
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
October, October
16,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Medium Companies of Europe 1990/91
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
VDM ’88.VDM – The Way Ahead
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Netherlands
26,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods in Software and Systems Modeling
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Proceedings of the 4th Bioenergy International Conference
320,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Engineering and Formal Methods
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

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

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

In den Warenkorb