The Programming and Proof System ATES
| Themengebiete: | Auto / Kraftfahrzeugtechnik EDV / Theorie / Software-Entw. / Software Engineering Energie (physikalisch) / Erneuerbare Energie Energiewirtschaft / Erneuerbare Energie Erneuerbare Energie Fahrzeug / Kraftfahrzeug KFZ Kraftfahrzeug - Kraftfahrzeugtechnik Kraftwagen Mathematik Mathematik / Technik, Ingenieurwissenschaften, Handwerk Regenerative Energie |
|---|---|
| Veröffentlichungsdatum: | 24.07.1991 |
| EAN: | 9783540541882 |
| Sprache: | Englisch |
| Seitenzahl: | 352 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Puccetti, Armand |
| Verlag: | Springer Berlin Springer Berlin Heidelberg |
| 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