Modeling and Verification of Parallel Processes (English, Franck Cassez | Claude Jard | Brigitte Rozoy)
by Franck Cassez | Claude Jard | Brigitte Rozoy
Delivery options
₹4,205
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Dispatched in 1–2 business days. Most orders delivered in 3–12 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹4,205
Book Details
Publisher
Springer
Language
English
ISBN-13
9783540427872
ISBN-10
3540427872
Author
Franck Cassez | Claude Jard | Brigitte Rozoy
About the Book
Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Ab…
ISBN: 9783540427872
ISBN-13: 9783540427872
ISBN-10: 3540427872
Frequently Asked Questions
What is the price of Modeling and Verification of Parallel Processes?
Modeling and Verification of Parallel Processes starts from ₹4205 at GlowMirror. Available in Paperback.
Who is the author of Modeling and Verification of Parallel Processes?
Franck Cassez | Claude Jard | Brigitte Rozoy is the author of Modeling and Verification of Parallel Processes. Browse more books by Franck Cassez | Claude Jard | Brigitte Rozoy on GlowMirror.
Is Modeling and Verification of Parallel Processes available in Paperback and Hardcover?
Yes, Modeling and Verification of Parallel Processes is available in Paperback on GlowMirror. Select your preferred format on the product page.
Does GlowMirror offer free delivery for Modeling and Verification of Parallel Processes?
Yes, GlowMirror offers free delivery for Modeling and Verification of Parallel Processes across India. No minimum order value required.
Is Cash on Delivery available for Modeling and Verification of Parallel Processes?
Yes, Cash on Delivery (COD) is available for Modeling and Verification of Parallel Processes on GlowMirror. You can pay when your order is delivered.
Product ID: isbn-9783540427872
🛒 Customers Also Bought
The Evolution of Conceptual Modeling (English, Roland Kaschek | Lois M. L. Delcambre)
₹5,822
Interstitial Prostate Brachytherapy (English, György Kovács | Peter Hoskin)
₹14,627
In Their Own Words (English, C. Christine Fair)
₹4,768
Mathematical Logic (English, Rene Cori | Daniel Lascar | Ren? Cori)
₹19,604
Elements of Algebraic Coding Theory (English, Vermani L.R.)
₹10,213
Differential Geometry and Statistics (English, Murray M.K.)
₹16,462Related Products
Real-World Applications of Evolutionary Computing (English, Stefano Cagnoni | Riccardo Poli | George D. Smith)
₹5,580
Chirurgie Der Abdominalen Und Thorakalen Aorta (English, R. I. Rückert | Wolfgang Hepp | Bernd Luther)
₹4,237
Drogenanalyse (English, H. Wagner | S. Bladt | E. -M Zgainski)
₹5,694
Introduction to the Theory of Ferromagnetism (English, Amikam Aharoni)
₹28,056
Potential Theory in the Complex Plane (English, Thomas Ransford | C. M. Series | J. W. Bruce)
₹6,670