Transactions on Aspect-Oriented Software Development VIII
Shmuel Katz, Mira Mezini, Christine Schwanninger
₹5,499
Theorem Proving in Higher Order Logics
18th International Conference
by Joe Hurd
Springer Verlag Berlin Heidelberg · 2005
₹4,776
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 Verlag Berlin Heidelberg in 2005, Theorem Proving in Higher Order Logics: 18th International Conference by Joe Hurd is available as a new copy.
Topics covered include Logic design, Artificial intelligence, Computer science and Software engineering.
Book details
- ISBN-13
- 9783540318200
- ISBN-10
- 3540318208
- Author
- Joe Hurd
- Publisher
- Springer Verlag Berlin Heidelberg
- Published
- 2005
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Algebraic Methodology and Software Technology
Charles Rattray, Savitri Maharaj
₹5,866
Hardware and Software
Kedar Namjoshi, Andreas Zeller, Avi Ziv
₹5,465
Computer Aided Verification
E. Allen Emerson, A. Prasad Sistla
₹4,411
Logic Program Synthesis and Transformation
International Workshop on Logic Program Synthesis and Transformation (1991 University of Manchester)
₹5,130
Category Theory and Computer Programming
David Pitt, Samson Abramsky, Axel Poigne
₹5,639
Principles and Practice of Constraint Programming - CP 2010
David Cohen
₹4,299
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier
₹5,136
Computer Engineering and Technology
Weixia Xu
₹4,200
Tapsoft '87
Hartmut Ehrig, Robert Kowalski, Giorgio Levi
₹3,948
From Programs to Systems - The Systems Perspective in Computing
Saddek Bensalem, Yassine Lakhnech, Axel Legay
₹3,785
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568