Specification and Analysis of Concurrent Systems
Peter E. Lauer, Ryszard Janicki
₹7,728
Functional Programming, Concurrency, Simulation and Automated Reasoning
International Lecture Series 1991-1992
Springer · 1993 · Paperback
₹5,583
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
Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992 by Peter E. Lauer is a 398-page paperback edition published by Springer in 1993. The book is part of the Lecture notes in computer science series.
The book deals with Artificial intelligence, Computer Programming, Mathematical theory of computation and Logic Design.
Book details
- ISBN-13
- 9783540568834
- ISBN-10
- 3540568832
- Author
- Peter E. Lauer
- Publisher
- Springer
- Published
- 1993
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 398
- Language
- English
- Condition
- New
More by Peter E. Lauer and related titles
Topology for Computing by Afra J. Zomorodian – Computational Topology
Afra J. Zomorodian, Philippe G. Ciarlet, A. Iserles
₹4,750
Functional Programming, Glasgow 1993
John T. O'Donnell
₹4,255
Numerical Recipes 3rd Edition
Brian P. Flannery, William T. Vetterling, Saul A. Teukolsky, William H. Press
₹7,196
Application and Theory of Petri Nets 1999
Susanna Donatelli, Jetty Kleijn
₹5,593
Ifm’99
K Araki
₹7,741
Qualified Types
Mark P. Jones
₹4,637
Algorithms and Data Structures
R. I.) Wads 200 (2001 Providence, Roberto Tamassia, J. R. Sack
₹4,250
Higher Order Logic Theorem Proving and Its Applications
Thomas F. Melham, Juanito Camilleri
₹5,618
Iterative Krylov Methods for Large Linear Systems
Henk A. van der Vorst
₹3,592
Planning Algorithms by Steven M. Lavalle – Robotics and AI Textbook
Steven M. LaValle
₹5,416
The Logic of Typed Feature Structures
Bob Carpenter, C. J. Van Rijsbergen, Samson Abramsky
₹5,593