Functional Programming, Concurrency, Simulation and Automated Reasoning
Peter E. Lauer
₹5,583
Specification and Analysis of Concurrent Systems
The COSY Approach
by Peter E. Lauer, Ryszard Janicki
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2011
₹7,728
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
Specification and Analysis of Concurrent Systems: The COSY Approach is written by Peter E. Lauer & Ryszard Janicki. This edition from Springer-Verlag Berlin and Heidelberg GmbH & Co. K (2011) has 480 pages. It belongs to the EATCS Monographs in Theoretical Computer Science series.
Topics covered include Logic design, Computer communication networks, Computer science and Software engineering.
Book details
- ISBN-13
- 9783642773396
- ISBN-10
- 3642773397
- Authors
- Peter E. Lauer, Ryszard Janicki
- Published
- 2011
- Series
- EATCS Monographs in Theoretical Computer Science
- Edition
- Softcover reprint of the original 1st ed. 1992
- Pages
- 480
- Language
- English
- Condition
- New
- Subject
- Parallel processing
More by Peter E. Lauer and related titles
Network and Parallel Computing
Erik Altman, Weisong Shi
₹5,576
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Roger Lee
₹7,727
Computer Algebra and Parallelism
Richard E. Zippel
₹5,499
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
Roger Lee
₹8,602
Analog Vlsi Integration of Massive Parallel Processing Systems
Michiel Steyaert, Peter Kinget
₹15,064
Job Scheduling Strategies for Parallel Processing
Walfredo Cirne
₹4,256
Parallel Computing
T. J. Fountain
₹4,606
Optical Interconnections and Parallel Processing
Pascal Berthome, Alfonso Ferreira
₹4,630
Parallel Supercomputing in Mimd Architectures
R.Michael Hord
₹22,637
Parallel Computing Technologies
Victor Malyshkin
₹4,265
Languages and Compilers for Parallel Computing
Hutchison, David - undifferentiated
₹2,445