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
ART
LAW

We accept

Delhi Book Store

thawte

Delhi Book Store


Delhi Book Store

The Temporal Logic of Reactive Systems - Specification Books


The Temporal Logic of Reactive Systems - Specification
by Zohar Manna, Amir Pnueli

 The Temporal Logic of Reactive Systems - Specification
Original Price :$141.65
(Rs 9944.00)
DBS Price :$100.00
(Rs 7020.00)
(you save 29%)
Title :
The Temporal Logic of Reactive Systems - Specification
ISBN :
0387976647
Author :
Zohar Manna, Amir Pnueli ,
Published :
1991
Book Publisher :
Springer-verlag
Edition :
1st
Pages :
448
Cover :
Hardcover
Dimension :
9.3 x 6.2 x 1.2
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