Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Theorem Proving in Higher Order Logics
11th International Conference
by TPHOLs '98 (1998 Canberra, A.C.T.)
Springer · 1998 · Paperback
₹4,307
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
Theorem Proving in Higher Order Logics: 11th International Conference by A.C.T.) TPHOLs '98 (1998 Canberra is a 496-page paperback edition published by Springer in 1998. It belongs to the Lecture notes in computer science series.
Its main subjects are Automatic theorem proving, Congresses, Symbolic and mathematical Logic and Computer science.
Book details
- ISBN-13
- 9783540649878
- ISBN-10
- 3540649875
- Authors
- TPHOLs '98 (1998 Canberra, A.C.T.)
- Publisher
- Springer
- Published
- 1998
- Series
- Lecture notes in computer science
- Edition
- 1998 ed.
- Binding
- Paperback
- Pages
- 496
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Machines, Computations, and Universality
Maurice Margenstern
₹5,662
Implementation and Application of Functional Languages
Hutchison, David - undifferentiated
₹4,082
Grid Computing
Radu Prodan, Thomas Fahringer
₹2,963
Functional and Logic Programming
Fuji International Symposium on Functional and Logic Programming (9th 2008 Ise-shi, Japan)
₹4,279
Rechnerarchitektur
Wolfgang K. Giloi
₹3,141
Transactions on Aspect-Oriented Software Development VIII
Shmuel Katz, Mira Mezini, Christine Schwanninger
₹5,499
Theoretical Computer Science
Carlo Blundo, Cosimo Laneve
₹5,722
Fault Diagnosis and Fault Tolerance
Tinghuai Chen
₹10,072
Category Theory and Computer Science
David H. Pitt, Axel Poigne, David E. Rydeheard
₹5,528
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Program Specification
Series Editor Sally M. Reis, Carolyn M. Callahan
₹4,263