Temporal Logic in Specification
Howard Barringer, Amir Pnueli
₹4,040
A Survey of Verification Techniques for Parallel Programs
Springer · 1985
₹2,265
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
A Survey of Verification Techniques for Parallel Programs is written by Howard Barringer. This edition from Springer (1985) has 115 pages.
Topics covered include Parallel processing (Electronic computers), Verification, Computer programs and Parallelisme (Informatique).
Book details
- ISBN-13
- 9783540152392
- ISBN-10
- 3540152393
- Author
- Howard Barringer
- Publisher
- Springer
- Published
- 1985
- Pages
- 115
- Language
- English
- Condition
- New
- Subject
- Parallel processing
More by Howard Barringer and related titles
Runtime Verification
Howard Barringer, Ylies Falcone, Bernd Finkbeiner
₹5,647
Computer Aided Systems Theory - Eurocast '95
Franz Pichler, Roberto Moreno-Diaz, Rudolf Albrecht
₹5,653
Dependence Analysis for Supercomputing
Utpal Banerjee
₹4,236
Parallel Supercomputing in Mimd Architectures
R.Michael Hord
₹22,637
Parallel Computing Technologies
Victor Malyshkin
₹5,866
Advances in Randomized Parallel Computing
Panos M. Pardalos, Sanguthevar Rajasekaran
₹11,576
Openmp in the Petascale Era
Barbara M. Chapman, William D. Gropp, Kalyan Kumaran
₹5,474
Empirical Methods for Exploiting Parallel Texts
I.dan Melamed
₹2,303
Advanced Computer Architecture and Parallel Processing
EL-REWINI
₹8,723
Formal Methods for Concurrency
Clive Fencott
₹2,768
Concur 2004 -- Concurrency Theory
Philippa Gardner, Nobuko Yoshida
₹5,832