Produktnummer:
18d9b3305a87cc4366bd9374f175ac5f79
| Themengebiete: | Entwurfsmethodik Spezifikationsmethodik design distributed systems formalisation formal method programming software engineering specification methodology verteilte Systeme |
|---|---|
| Veröffentlichungsdatum: | 04.04.1990 |
| EAN: | 9783540525134 |
| Sprache: | Englisch |
| Seitenzahl: | 588 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Bjørner, Dines Hoare, C.A.R. Langmaack, Hans |
| Verlag: | Springer Berlin |
| Untertitel: | Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings |
Produktinformationen "VDM '90. VDM and Z - Formal Methods in Software Development"
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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen