Produktnummer:
18b562dab3354249da8cf7e5303127be14
| Themengebiete: | Petri net complexity design development formal methods interactive system interfaces language modeling programming |
|---|---|
| Veröffentlichungsdatum: | 18.02.2012 |
| EAN: | 9783642871177 |
| Sprache: | Englisch |
| Seitenzahl: | 447 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Paterno, Fabio |
| Verlag: | Springer Berlin |
| Untertitel: | 1st Eurographics Workshop, Bocca di Magra, Italy, June 1994 |
Produktinformationen "Interactive Systems: Design, Specification, and Verification"
This book is the proceedings of the first Eurographics workshop on design, specification and verification of interactive systems, held in June 1994. It reviews the state of the art, compares different approaches, and indicates the relevant results.
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