Price Comparison for Indian Stores
Gift cards @ 3% Off Coupons Deals Tatkal Booking Extension Careers at Buyhatke
Mobile App App
Chrome Extension

Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science - 9781402070259

N/A
₹10985
See all Prices
See Price Trend

About the Book :

  • Language : English
  • Binding : Hardcover
  • Contributors : Jeffrey J. P. Tsai

Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science Details :

DETAILS

  • Language : English
  • Binding : Hardcover
  • Contributors : Jeffrey J. P. Tsai
Read The Full Specification

Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science Price History

  • The best price for Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science in India is Rs. as per November 5, 2024, 2:58 pm
  • You save NAN% by purchasing it at for over which sells it for
  • The prices for is valid in all major cities of India including Bangalore, Delhi, Hyderabad, Chennai, Mumbai, Kolkata and Pune. Please check instructions at the specific stores for any deviation.
  • All prices mentioned above are in INR

Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science Related Books :

Preparing for the BMAT The Official Guide to the BioMedical Admissions Test 2 Rev ed Edition
Preparing for the BMAT The Official Guide to the BioMedical Admissions Test 2 Rev ed Edition
₹800 onwards
  • Michael Bond
French S Index Of Differential Diagnosis An A-Z 15th Edition
French S Index Of Differential Diagnosis An A-Z 15th Edition
₹800 onwards
  • Kinirons
Confessions of a Male Nurse Michael Alexander
Confessions of a Male Nurse Michael Alexander
₹400 onwards
  • Michael Alexander
Textbook of Human Oral Embryology Anatomy Physiology Histology and Tooth Morphology 1 e Edition
Textbook of Human Oral Embryology Anatomy Physiology Histology and Tooth Morphology 1 e Edition
₹316 onwards
  • K. M. K. Masthan
Cancer A Very Short Introduction
Cancer A Very Short Introduction
₹173 onwards
  • Nick James
Body for Life Success Journal
Body for Life Success Journal
₹1262 onwards
  • Bill Phillips
Nutrition for Dummies
Nutrition for Dummies
₹1022 onwards
  • Carol Ann Rinzler
Pharmacotherapy Casebook A Patient-Focused Approach 0008 Edition
Pharmacotherapy Casebook A Patient-Focused Approach 0008 Edition
₹2063 onwards
  • Physics, Donald H. Menzel
The Master and His Emissary The Divided Brain and the Making of the Western World
The Master and His Emissary The Divided Brain and the Making of the Western World
₹1084 onwards
  • Iain McGilchrist
Functional Biochemistry in Health and Disease 2nd Revised edition Edition
Functional Biochemistry in Health and Disease 2nd Revised edition Edition
₹800 onwards
  • Eric Newsholme, Tony Leech
Strickberger s Evolution 4th Edition
Strickberger s Evolution 4th Edition
₹2074 onwards
  • Brian K. Hall, Benedikt Hallgrimsson
Pattern-Oriented Software Architecture Volume 2 Edition
Pattern-Oriented Software Architecture Volume 2 Edition
₹2484 onwards
  • Frank Buschmann, Michael Stal, Hans Rohnert, Douglas C. Schmidt
AAOS Comprehensive Orthopaedic Review 2 Book Set With Study Questions Book
AAOS Comprehensive Orthopaedic Review 2 Book Set With Study Questions Book
₹26447 onwards
  • Jay R. Lieberman
Oxford Handbook of Clinical Medicine 0008 Edition
Oxford Handbook of Clinical Medicine 0008 Edition
₹2701 onwards
  • Murray Longmore, Edward H. Davidson, Ian B. Wilkinson
Cochrane Handbook for Systematic Reviews of Interventions
Cochrane Handbook for Systematic Reviews of Interventions
₹800 onwards
  • Carolyn EwingChristmas
Reversing Heart Disease A Vital New Program to Help Prevent Treat and Eliminate Cardiac Problems Without Surgery
Reversing Heart Disease A Vital New Program to Help Prevent Treat and Eliminate Cardiac Problems Without Surgery
₹764 onwards
  • Julian M. Whitaker
Conducting Your Pharmacy Practice Research Project A Step-By-Step Approach
Conducting Your Pharmacy Practice Research Project A Step-By-Step Approach
₹2189 onwards
  • Felicity J. Smith
Anxiety
Anxiety
₹183 onwards
  • Freeman D, Freeman J
The Glycemic Index Diet for Dummies
The Glycemic Index Diet for Dummies
₹241 onwards
  • Meri Raffetto
Trouble with Testosterone And Other Essays on the Biology of the Human Predicament
Trouble with Testosterone And Other Essays on the Biology of the Human Predicament
₹795 onwards
  • Robert M. Sapolsky

Other Books By Jeffrey J P Tsai :

The Image Mission
The Image Mission
₹22330 onwards
Compositional Verification of Concurrent and Real-Time Systems
Compositional Verification of Concurrent and Real-Time Systems
₹8389 onwards
Communications Information and Network Security
Communications Information and Network Security
₹13806 onwards
Intrusion Detection A Machine Learning Approach
Intrusion Detection A Machine Learning Approach
₹800 onwards
Intrusion Detection A Machine Learning Approach Series in Electrical and Computer Engineering
Intrusion Detection A Machine Learning Approach Series in Electrical and Computer Engineering
₹5455 onwards
Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science
Compositional Verification of Concurrent and Real-Time Systems The Springer International Series in Engineering and Computer Science
₹10985 onwards
Machine Learning Applications In Software Engineering Series on Software Engineering and Knowledge Engineering English
Machine Learning Applications In Software Engineering Series on Software Engineering and Knowledge Engineering English
₹10316 onwards
Hybrid Parallel Execution Model for Logic-Based Specification Languages English 1st Edition
Hybrid Parallel Execution Model for Logic-Based Specification Languages English 1st Edition
₹5999 onwards
Security Modeling and Analysis of Mobile Agent Systems Series in Electrical and Computer Engineering illustrated edition Edition
Security Modeling and Analysis of Mobile Agent Systems Series in Electrical and Computer Engineering illustrated edition Edition
₹4573 onwards
Big billion day flipkart 2019
Header
×
Text