Produktnummer:
18d4e74ca04e25494d9a3a3f91942d8878
| Themengebiete: | Abstract Data Types Abstrakte Datentypen Automatisches Beweisen Datentyp Formal Specifications Formale Spezifikation Program Verification Programmverifikation Software-Engineering Software Engineering |
|---|---|
| Veröffentlichungsdatum: | 24.07.1991 |
| EAN: | 9783540541882 |
| Sprache: | Englisch |
| Seitenzahl: | 341 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Puccetti, Armand |
| Verlag: | Springer Berlin |
| Untertitel: | Advanced Techniques Integration into Efficient Scientific Software |
Produktinformationen "The Programming and Proof System ATES"
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.
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