Hybrid Systems
Rajeev Alur
₹8,177
Esop '92
4th European Symposium on Programming
Springer · 1992 · Paperback
₹5,800
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹5,300 for this book (save ₹500).
9% off every book, up to ₹500 off per order.
About this book
It belongs to the Lecture notes in computer science series.
Topics covered include Computer programming, Congresses, Software engineering and Logic Design.
Book details
- ISBN-13
- 9783540552536
- ISBN-10
- 3540552537
- Author
- Bernd Krieg-Brückner
- Publisher
- Springer
- Published
- 1992
- Series
- Lecture notes in computer science
- Binding
- Paperback
- Pages
- 491
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Mathematics of Program Construction
Jan L.A. van de Snepscheut
₹4,241
Models in Software Engineering
Sudipto Ghosh
₹5,573
Formal Techniques for Safety-Critical Systems
Cyrille Artho, Peter Csaba Ölveczky
₹4,249
Computer Performance Evaluation and Benchmarking
David Kaeli
₹4,196
Leveraging Applications of Formal Methods, Verification, and Validation
Tiziana Margaria, Bernhard Steffen
₹5,271
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581
Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222
Logic and Computer Design Fundamentals, Global Edition
Morris Mano, Charles Kime, Tom Martin
₹6,828
Digital Logic Design
Guy Even, Moti Medina
₹4,599
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576