Formal Methods and Software Engineering
Zhiming Liu, Jifeng He
₹6,670
Theoretical Aspects of Computing -- ICTAC 2013
10th International Colloquium
by Zhiming Liu, Jim Woodcock, Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. K · 2013 · Paperback
₹4,249
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 ₹3,867 for this book (save ₹382).
9% off every book, up to ₹500 off per order.
About this book
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co.
Its main subjects are Electronic data processing, Congresses, Information theory and Computer programming.
Book details
- ISBN-13
- 9783642397172
- ISBN-10
- 3642397174
- Authors
- Zhiming Liu, Jim Woodcock, Huibiao Zhu
- Publisher
- Springer-Verlag Berlin and Heidelberg GmbH & Co. K
- Published
- 2013
- Edition
- 2013 ed.
- Binding
- Paperback
- Pages
- 445
- Language
- English
- Condition
- New
- Subject
- AI & Intelligent Systems
More by Zhiming Liu and related titles
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Foundations of Health Informatics Engineering and Systems
Zhiming Liu, Alan Wassyng
₹5,298
Systemic Text Generation
Terry Patten
₹4,228
Essentials of Artificial Intelligence
Matt Ginsberg
₹3,727
Search in Artificial Intelligence
Leveen Kanal, Vipin Kumar
₹4,266
Sensing Emotions
Joyce Westerink
₹7,731
Formal Methods in Artificial Intelligence
Allan M. Ramsay
₹2,597
Problem Solving
O.V German, D.V Ofitserov
₹2,689
Knowledge Structures
Dietrich Albert, J. -C Falmagne
₹5,620
Dynamic Brain-from Neural Spikes to Behaviors
International Summer School on Neural Networks (12th 2007 Erice, Italy)
₹2,961
Context-Aware Ranking with Factorization Models
Steffen Rendle
₹11,851