Items related to Formal Modeling: Actors; Open Systems, Biological Systems:...
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday: 7000 (Lecture Notes in Computer Science, 7000) - Softcover
Synopsis
This Festschrift volume honors Carolyn Talcott, a leading researcher and mentor of international renown among computer scientists, on her 70th birthday. Includes papers on such topics as actors and programming languages; cyberphysical systems and more.
"synopsis" may belong to another edition of this title.
From the Back Cover
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.
"About this title" may belong to another edition of this title.
- PublisherSpringer
- Publication date2011
- ISBN 10 3642249329
- ISBN 13 9783642249327
- BindingPaperback
- LanguageEnglish
- Number of pages467
- EditorAgha Gul, Danvy Olivier, Meseguer José
Search results for Formal Modeling: Actors; Open Systems, Biological Systems:...
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut - Neubindung, Buchrücken fehlerhaft geklebt, Buchecken leicht angestoßen, Ausgabe 2011 | Seiten: 447 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 11552887/12
Quantity: 1 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Published by
Springer (edition 2011), 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
Used
Paperback
Seller: BooksRun, Philadelphia, PA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. 2011. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Seller Inventory # 3642249329-11-1
Quantity: 1 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783642249327_new
Quantity: Over 20 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783642249327
Quantity: Over 20 available
Seller Image
Formal Modeling: Actors Open Systems, Biological Systems
Published by
Springer Berlin Heidelberg, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. commemorative publicationup-to-date-results in formal modeling state-of-the-art-researchThis Festschrift volume, published in honor of Carolyn Talcott on the occasion of her 70th birthday, contains a collection of papers presented a. Seller Inventory # 5053736
Quantity: Over 20 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783642249327
Quantity: 10 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems, Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Published by
Springer-Verlag New York Inc, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 2011 edition. 467 pages. 9.50x6.25x1.00 inches. In Stock. Seller Inventory # x-3642249329
Quantity: 2 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Seller: thebookforest.com, San Rafael, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Well packaged and promptly shipped from California. US veteran operated. Seller Inventory # 1LAGBP001FK7
Quantity: 1 available
Seller Image
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Published by
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2011
ISBN 10: 3642249329
ISBN 13: 9783642249327
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware - 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. Seller Inventory # 9783642249327
Quantity: 2 available
Stock Image
Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in Computer Science, 7000)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020221729
Quantity: Over 20 available