Formal Methods and Software Engineering
Shengchao Qin
₹4,329
Unifying Theories of Programming
Third International Symposium
Springer · 2010
₹5,525
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,028 for this book (save ₹497).
9% off every book, up to ₹500 off per order.
About this book
Unifying Theories of Programming: Third International Symposium is written by Shengchao Qin. This edition from Springer (2010).
Topics covered include Logic design, Software engineering, Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783642166891
- ISBN-10
- 364216689X
- Author
- Shengchao Qin
- Publisher
- Springer
- Published
- 2010
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Shengchao Qin and related titles
Dependable Software Engineering. Theories, Tools, and Applications
Shengchao Qin, Jim Woodcock, Wenhui Zhang
₹6,220
Computer Science Logic
Anuj Dawar, Helmut Veith
₹5,686
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383
Z User Workshop, London 1992
Z User Meeting (7th 1992 London, England)
₹4,282
Nonmonotonic and Inductive Logic
Klaus P. Jantke, Peter H. Schmitt
₹5,502
Rewriting Logic and Its Applications
Santiago Escobar
₹3,763
Frontiers of Combining Systems
Cesare Tinelli, Viorica Sofronie-Stokkermans
₹5,718
Extensions of Logic Programming
Peter Schroeder-Heister
₹5,561
Fudamentals of Digital Logic with VHDL Design
Stephen Brown, Zvonko Vranesic
₹3,115
Implementation and Application of Functional Languages
Hutchison, David - undifferentiated
₹4,082
Proof Theory in Computer Science
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk
₹5,499