Produktnummer:
189dac28541258413a905490a2cc0782e6
| Themengebiete: | Algebraische Spezifikation Formale Methoden Formale Verifikation Reaktive Systeme algebraic specification formal method formal methods formal verification logic programming |
|---|---|
| Veröffentlichungsdatum: | 19.06.1996 |
| EAN: | 9783540614630 |
| Sprache: | Englisch |
| Seitenzahl: | 647 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Nivat, Maurice Wirsing, Martin |
| Verlag: | Springer Berlin |
| Untertitel: | 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings |
Produktinformationen "Algebraic Methodology and Software Technology"
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.
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