Produktnummer:
187e97cd4595ab4bb0b49ab15f5cf31b09
| Themengebiete: | algebraic structures concurrency formal verification software development verification |
|---|---|
| Veröffentlichungsdatum: | 13.10.2011 |
| EAN: | 9783642249327 |
| Sprache: | Englisch |
| Seitenzahl: | 447 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Agha, Gul Danvy, Olivier Meseguer, José |
| Verlag: | Springer Berlin |
| Untertitel: | Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday |
Produktinformationen "Formal Modeling: Actors; Open Systems, Biological Systems"
This Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented at a symposium held in Menlo Park, California, USA, in November 2011. Carolyn Talcott is a leading researcher and mentor of international renown among computer scientists. She has made key contributions to a number of areas of computer science including: semantics and verification of progamming languages; foundations of actor-based systems; middleware, meta-architectures, and systems; Maude and rewriting logic; and computational biology. The 21 papers presented are organized in topical sections named: Essays on Carolyn Talcott; actors and programming languages; cyberphysical systems; middleware and meta-architectures; formal methods and reasoning tools; and computational biology.
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