Produktbild
Gul (Hrsg.) Agha

Formal Modeling: Actors; Open Systems, Biological Systems

Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday

Buch

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: Es… Mehr

CHF 100.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen

Produktdetails


Weitere Autoren: Danvy, Olivier (Hrsg.) / Meseguer, José (Hrsg.)
  • ISBN: 978-3-642-24932-7
  • EAN: 9783642249327
  • Produktnummer: 12044981
  • Verlag: Springer-Verlag GmbH
  • Sprache: Englisch
  • Erscheinungsjahr: 2011
  • Seitenangabe: 447 S.
  • Masse: H23.6 cm x B15.9 cm x D2.8 cm 701 g
  • Abbildungen: Book; 100 schwarz-weiße Abbildungen
  • Reihenbandnummer: 7000
  • Gewicht: 701

6 weitere Werke von Gul (Hrsg.) Agha:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.