Concurrent Objects and Beyond
Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, Kenjiro Taura
₹4,268
Formal Modeling
Actors
by Gul Agha, Olivier Danvy, José Meseguer
Springer · 2011
₹5,627
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer in 2011, Formal Modeling: Actors by Gul Agha, Olivier Danvy & others is available as a new copy.
Topics covered include Logic design, Computer networks, Computer science and Software engineering.
Book details
- ISBN-13
- 9783642249327
- ISBN-10
- 3642249329
- Authors
- Gul Agha, Olivier Danvy, José Meseguer
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Gul Agha and related titles
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,240
Zeitverhalten Synchroner Schaltwerke
Hans-Otto Leilich, Uwe Knaak
₹3,508
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Fm 2012
Dimitra Giannakopoulou, Dominique Mery
₹5,690
Logics in AI
David Pearce, Gerd Wagner
₹5,584
Foundations of Software Science and Computation Structures
Wolfgang Thomas
₹5,785
Models in Software Engineering
Sudipto Ghosh
₹5,573
Software Engineering - Esec/Fse '99
Oskar Nierstrasz, Michel Lemoine
₹5,647
Theoretical Aspects of Computer Software
Martin Abadi, Takayasu Ito
₹4,684
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Logics of Programs
Rohit Parikh
₹5,591