Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Verified Software
Theories
by Dimitra Giannakopoulou, Daniel Kroening
Springer International Publishing AG · 2014 · Paperback
₹3,762
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
About this book
Published by Springer International Publishing AG in 2014, Verified Software: Theories by Dimitra Giannakopoulou & Daniel Kroening runs to 287 pages in paperback.
Its main subjects are Computer software, Artificial Intelligence (incl. Robotics), Software engineering and Computer science.
Book details
- ISBN-13
- 9783319121536
- ISBN-10
- 3319121537
- Authors
- Dimitra Giannakopoulou, Daniel Kroening
- Publisher
- Springer International Publishing AG
- Published
- 2014
- Edition
- 2014 ed.
- Binding
- Paperback
- Pages
- 287
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Dimitra Giannakopoulou and related titles
Fm 2012
Dimitra Giannakopoulou, Dominique Mery
₹5,690
Pan-African Conference on Artificial Intelligence
Taye Girma Debelee, Achim Ibenthal, Friedhelm Schwenker
₹6,229
Action Rules Mining
Agnieszka Dardzinska
₹7,776
Beyond Information
Tom Stonier
₹4,426
Human - Computer Systems Interaction
Zdzislaw S. Hippe, Juliusz L. Kulikowski, Tteresa Mroczek
₹4,793
Skill Acquisition Rates and Patterns
Norman E. Lane
₹7,762
Artificial Dreams
H. R. Ekbia
₹4,557
LMI Approach to Analysis and Control of Takagi-Sugeno Fuzzysystem with Time Delay
Qing-Guo Wang, Yong He, Tong Heng Lee, Chong Lin
₹5,703
Belief Functions - Theory and Applications
Thierry Denoeux
₹5,057
Analogical and Inductive Inference
Klaus P. Jantke
₹3,249
Great Philosophical Objections to Artificial Intelligence
Eric Dietrich, Robin Zebrowski, Chris Fields, Bram Van Heuveln, John P. Sullins
₹3,598