Perspectives of Systems Informatics
Amir Pnueli
₹4,264
Reachability Problems
5th International Workshop
by Giorgio Delzanno, Igor Potapov
Springer · 2011
₹5,713
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 in 2011, Reachability Problems: 5th International Workshop by Giorgio Delzanno & Igor Potapov runs to 257 pages.
Topics covered include Logic design, Computer science, Software engineering and Computer software.
Book details
- ISBN-13
- 9783642242878
- ISBN-10
- 3642242871
- Authors
- Giorgio Delzanno, Igor Potapov
- Publisher
- Springer
- Published
- 2011
- Pages
- 257
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Foundations of Software Technology and Theoretical Computer Science
Conjeevaram E. Veni Madhavan
₹5,549
Stacs 92
Alain Finkel, Matthias Jantzen
₹4,505
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Logic Program Synthesis and Transformation
Maurizio Proietti
₹5,514
Computing in Horn Clause Theories
Peter Padawitz
₹3,945
Foundations of Software Technology and Theoretical Computer Science
S. N. Maheshwari
₹5,642
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Analogical and Inductive Inference
Klaus P. Jantke
₹5,549
Graph-Theoretic Concepts in Computer Science
Jan van Leeuwen
₹5,671
Software-intensive Systems and New Computing Paradigms
Matthias H. Lzl
₹2,551
Reasoning Web. Semantic Technologies for Information Systems
Sergio Tessaris
₹3,111