Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Formal Modeling: Actors; Open Systems, - Paperback, by Agha Gul; Danvy - Good
US $54.94
ApproximatelyS$ 70.61
Condition:
Good
A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free USPS Media MailTM.
Located in: Philadelphia, Pennsylvania, United States
Delivery:
Estimated between Tue, 26 Aug and Tue, 2 Sep to 94104
Returns:
30 days return. Seller pays for return shipping.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:404723070158
Item specifics
- Condition
- Book Title
- Formal Modeling: Actors; Open Systems, Biological Systems: Essays
- ISBN
- 9783642249327
About this product
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3642249329
ISBN-13
9783642249327
eBay Product ID (ePID)
110918578
Product Key Features
Number of Pages
Xx, 447 Pages
Publication Name
Formal Modeling: Actors; Open Systems, Biological Systems : Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Language
English
Publication Year
2011
Subject
Software Development & Engineering / General, Computer Simulation, Computer Science, Compilers
Type
Textbook
Subject Area
Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
25.1 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2011-938996
Dewey Edition
23
Series Volume Number
7000
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
003.3
Table Of Content
Two PhD Students for the Price of One.- Honoring Carolyn Talcott's Contributions to Science.- Ten Years of Analyzing Actors: Rebeca Experience.- Mathematical Models of Object-Based Distributed Systems.- From Explicit to Symbolic Types for Communication Protocols in CCS.- Abstract LR-Parsing.- Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.- Model Feasible Interactions in Distributed Real-Time Systems.- Puff, The Magic Protocol.- A Formal Methodology for Compositional Cross-Layer Optimization.- From Service Identification to Service Selection: An Interleaved Perspective.- Towards a System Model for Ensembles.- Algorithmic Aspects of Risk Management.- Parameterized Metareasoning in Membership Equational Logic.- Fast Sort Computations for Order-Sorted Matching and Unification.- Solving the First Verified Software Competition Problems Using PVS.- Towards a Maude Formal Environment.- Multisimulations: Towards Next Generation Integrated Simulation Environments.- Semantics, Simulation, and Formal Analysis of Modeling Languages for Embedded Systems in Real-Time Maude.- Computational Biology: A Programming Perspective.- Applications of Pathway Logic Modeling to Target Identification.
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., 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.
LC Classification Number
QA76.758
Item description from the seller
Popular categories from this store
Seller feedback (179,732)
- t***o (275)- Feedback left by buyer.Past monthVerified purchaseShipped promptly, everything as-described, A++
- 3***s (219)- Feedback left by buyer.Past monthVerified purchaseBook arrived in excellent condition—better than expected! Great value for the price, very happy with this purchase.
- c***p (325)- Feedback left by buyer.Past monthVerified purchaseNice item, good price, fast shipping. Would buy again. Thanks.
Popular categories from this store
Seller feedback (179,732)
- t***o (275)- Feedback left by buyer.Past monthVerified purchaseShipped promptly, everything as-described, A++
- 3***s (219)- Feedback left by buyer.Past monthVerified purchaseBook arrived in excellent condition—better than expected! Great value for the price, very happy with this purchase.
- c***p (325)- Feedback left by buyer.Past monthVerified purchaseNice item, good price, fast shipping. Would buy again. Thanks.