Produktnummer:
18b96c975ddff74cbba97c3c4bf6b09e47
| Themengebiete: | Mehr-Agenten-Programmierung Nebenläufiges Programmieren Programmanalyse Programmverifikation Statecharts algorithm algorithms concurrent programming logic multiple-agent programming |
|---|---|
| Veröffentlichungsdatum: | 07.01.1997 |
| EAN: | 9783540625032 |
| Sprache: | Englisch |
| Seitenzahl: | 444 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Dam, Mads |
| Verlag: | Springer Berlin |
| Untertitel: | 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers |
Produktinformationen "Analysis and Verification of Multiple-Agent Languages"
This book originates from the 5th LOMAPS Workshop on Analysis and Verification of Multiple-Agent Languages, held in Stockholm, Sweden, in June 1996. LOMAPS is an ESPRIT project devoted to program analysis and verification techniques applicable to emerging multi-paradigm programming languages.The volume presents 14 revised full papers selected from the workshop submissions together with 4 invited contributions; also included is an introductory overview surveying the state of the art in the area and putting the contributions into this context.
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