Item #: 1119633 | Model #: 9783642249327
Formal Modeling: Actors; Open Systems, Biological Systems
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001245488_sc7?wid=512&hei=512

Formal Modeling: Actors; Open Systems, Biological Systems

No reviews yet
Share:
Delivered within 3-9 business days
$87.79
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Gul Agha, Olivier Danvy, Jose Meseguer
  • No of Pages: 447 Pages
  • Publisher: Springer
Go to full description & specifications


87.79
87.79
https://www.staples-3p.com/s7/is/image/Staples/m001245488
09783642249327
Assorted Publishers
Formal Modeling: Actors; Open Systems, Biological Systems
Product Description
Formal Modeling: Actors; Open Systems, Biological Systems by Gul Agha et al - Covers various topics such as essays on Carolyn Talcott actors and programming languages and cyberphysical systems

Formal Modeling: Actors; Open Systems, Biological Systems by Gul Agha et al is a collection of papers presented at a symposium held in Menlo Park. It covers topics such as middleware and meta-architectures, formal methods and reasoning tools.

  • Author Name: Gul Agha, Olivier Danvy, Jose Meseguer
  • No of Pages: 447 Pages
  • Publisher: Springer
  • Publishing Date: October 13, 2011
  • Language: English
  • ISBN -10: 3642249329
  • ISBN -13: 978-3642249327
  • Edition: 2011
Specifications
Book Cover Paperback
Author Name Gul Agha, Olivier Danvy, Jose Meseguer
Reviews