Delhi Book Store

TOLL FREE NUMBER: 1800-1133-11 (INDIA)


Home About Us Sales Policy Legal Policy Enquiry Feedback Contact Us My Account Order Status
What's New Medical Recommended Best Buys MD's Desk Press Release Showroom

We accept

Delhi Book Store

thawte

Delhi Book Store


Delhi Book Store

Temporal Verification of Reactive Systems - Safety Books


Temporal Verification of Reactive Systems - Safety
by Pnueli, Amir

 Temporal Verification of Reactive Systems - Safety
Original Price :$195.52
(Rs 13158.00)
DBS Price :$137.00
(Rs 9220.00)
(you save 30%)
Title :
Temporal Verification of Reactive Systems - Safety
ISBN :
0387944591
Author :
Pnueli, Amir,
Published :
1995
Book Publisher :
Springer-verlag
Edition :
1st
Pages :
512
Cover :
Hardcover
Dimension :
9.61 x 6.79
Availability :
Instock
Quantity :
10
Book Condition :
1




Other Related Books
Differential Equations With MathematicaSoftware Engineering Environments: Automated Support for SoftwarSoftware Engineering with Formal Software Metrics
An Introduction to CAD Using CADKEY - Puppets and Plays for YounInformix Database Administrator*s - Survival GuidePeople and Ideas in Theoretical Computer Science
International Refinement Workshop & Formal Methods Pacific *Scientific Computing - Proceedings Of The Workshop, 10-12 March Object-oriented Programming And Java
Paradigms of Artificial Intelligence - A Methodological and Comp 








DBS SERVICES
About DBS Bulk Order Discounts
Sales Policy Return policy
Refund Policy Publisher & Author Guidelines
DBS Membership Purchase Order Accounts
Legal Policy Disclaimer Policy
Privacy Policy Terms & Conditions
SHIPPING & DELIVERY
About Fast & Free Delivery
About Shipping
Customer Service
Payment Options
Who to Contact
QUICK HELP
Query
Order Status
Sitemap