Formal Modeling: Actors; Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday (Lecture Notes in . / Programming and Software Engineering)

Published by Springer, 2011
ISBN 10: 3642249329 / ISBN 13: 9783642249327
Used / Paperback / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Shrink wrapped and unopened. Includes supplemental or companion materials if applicable. Connecting readers since 1972. Customer service is our top priority. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
0 avg rating
(0 ratings)

Synopsis: 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.

Bibliographic Details

Title: Formal Modeling: Actors; Open Systems, ...
Publisher: Springer
Publication Date: 2011
Binding: Paperback
Book Condition: Fine

Top Search Results from the AbeBooks Marketplace

1.

Gul Agha (editor), Olivier Danvy (editor), José Meseguer (editor)
Published by Springer Berlin Heidelberg 2011-10-13, Heidelberg (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New paperback Quantity Available: > 20
Seller:
Blackwell's
(Oxford, OX, United Kingdom)
Rating
[?]

Book Description Springer Berlin Heidelberg 2011-10-13, Heidelberg, 2011. paperback. Condition: New. Seller Inventory # 9783642249327

More information about this seller | Contact this seller

Buy New
US$ 86.87
Convert Currency

Add to Basket

Shipping: US$ 7.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Published by Springer (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Softcover Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer, 2011. Condition: New. Seller Inventory # L9783642249327

More information about this seller | Contact this seller

Buy New
US$ 89.92
Convert Currency

Add to Basket

Shipping: US$ 3.49
From Germany to U.S.A.
Destination, Rates & Speeds

3.

Gul Agha
Published by Springer-Verlag Gmbh Okt 2011 (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Taschenbuch Quantity Available: 1
Seller:
Rating
[?]

Book Description Springer-Verlag Gmbh Okt 2011, 2011. Taschenbuch. Condition: Neu. - 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. 447 pp. Englisch. Seller Inventory # 9783642249327

More information about this seller | Contact this seller

Buy New
US$ 89.92
Convert Currency

Add to Basket

Shipping: US$ 13.99
From Germany to U.S.A.
Destination, Rates & Speeds

4.

Gul Agha
Published by Springer-Verlag Gmbh Okt 2011 (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Taschenbuch Quantity Available: 1
Seller:
Rheinberg-Buch
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Okt 2011, 2011. 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. 447 pp. Englisch. Seller Inventory # 9783642249327

More information about this seller | Contact this seller

Buy New
US$ 89.92
Convert Currency

Add to Basket

Shipping: US$ 20.11
From Germany to U.S.A.
Destination, Rates & Speeds

5.

Gul Agha
Published by Springer-Verlag Gmbh Okt 2011 (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Taschenbuch Quantity Available: 1
Seller:
BuchWeltWeit Inh. Ludwig Meier e.K.
(Bergisch Gladbach, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Okt 2011, 2011. 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. 447 pp. Englisch. Seller Inventory # 9783642249327

More information about this seller | Contact this seller

Buy New
US$ 89.92
Convert Currency

Add to Basket

Shipping: US$ 19.97
From Germany to U.S.A.
Destination, Rates & Speeds

6.

Gul Agha
Published by Springer-Verlag Gmbh Okt 2011 (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Taschenbuch Quantity Available: 2
Seller:
AHA-BUCH GmbH
(Einbeck, Germany)
Rating
[?]

Book Description Springer-Verlag Gmbh Okt 2011, 2011. 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. 447 pp. Englisch. Seller Inventory # 9783642249327

More information about this seller | Contact this seller

Buy New
US$ 89.92
Convert Currency

Add to Basket

Shipping: US$ 34.39
From Germany to U.S.A.
Destination, Rates & Speeds

7.

GUL AGHA
Published by Springer (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Paperback Quantity Available: 1
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2011. Paperback. Condition: NEW. 9783642249327 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0356972

More information about this seller | Contact this seller

Buy New
US$ 86.32
Convert Currency

Add to Basket

Shipping: US$ 10.61
From United Kingdom to U.S.A.
Destination, Rates & Speeds

8.

Agha, Gul
Published by Springer (2016)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Springer, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642249327_lsuk

More information about this seller | Contact this seller

Buy New
US$ 91.89
Convert Currency

Add to Basket

Shipping: US$ 5.13
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

Agha, Gul
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Quantity Available: 2
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description 2011. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. Established seller since 2000. Seller Inventory # KS-9783642249327

More information about this seller | Contact this seller

Buy New
US$ 89.17
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

10.

Agha, Gul (Editor)/ Danvy, Olivier (Editor)/ Meseguer, Jose (Editor)
Published by Springer-Verlag New York Inc (2011)
ISBN 10: 3642249329 ISBN 13: 9783642249327
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Springer-Verlag New York Inc, 2011. Paperback. Condition: Brand New. 2011 edition. 467 pages. 9.50x6.25x1.00 inches. In Stock. Seller Inventory # __3642249329

More information about this seller | Contact this seller

Buy New
US$ 100.52
Convert Currency

Add to Basket

Shipping: US$ 7.98
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are 9 more copies of this book

View all search results for this book