Formal Modeling: Actors; Open Systems, Biological Systems / Lecture Notes in Computer Science Bd.7000 (PDF)
Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
(Sprache: Englisch)
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...
Carolyn Talcott is a leading researcher and...
sofort als Download lieferbar
eBook (pdf)
54.99 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Modeling: Actors; Open Systems, Biological Systems / Lecture Notes in Computer Science Bd.7000 (PDF)“
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.
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.
Bibliographische Angaben
- 2011, 2011, 447 Seiten, Englisch
- Herausgegeben: Gul Agha, Olivier Danvy, José Meseguer
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3642249337
- ISBN-13: 9783642249334
- Erscheinungsdatum: 30.10.2011
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 8.78 MB
- Mit Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kopierschutz
Dieses eBook können Sie uneingeschränkt auf allen Geräten der tolino Familie lesen. Zum Lesen auf sonstigen eReadern und am PC benötigen Sie eine Adobe ID.
Kommentar zu "Formal Modeling: Actors; Open Systems, Biological Systems / Lecture Notes in Computer Science Bd.7000"
Schreiben Sie einen Kommentar zu "Formal Modeling: Actors; Open Systems, Biological Systems / Lecture Notes in Computer Science Bd.7000".
Kommentar verfassen