Types for Proofs and Programs
Stefano Berardi, Mario Coppo
₹5,591
Types for Proofs and Programs
International Workshop
by Stefano Berardi, Mario Coppo, Ferruccio Damiani
Springer · 2004 · Paperback
₹5,586
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
Types for Proofs and Programs: International Workshop is written by Stefano Berardi, Mario Coppo & others. This paperback edition from Springer (2004) has 408 pages. It belongs to the Lecture notes in computer science series.
Topics covered include Automatic theorem proving, Computer programming, Congresses and Computer science.
Book details
- ISBN-13
- 9783540221647
- ISBN-10
- 3540221646
- Authors
- Stefano Berardi, Mario Coppo, Ferruccio Damiani
- Publisher
- Springer
- Published
- 2004
- Series
- Lecture notes in computer science
- Edition
- 1 edition
- Binding
- Paperback
- Pages
- 408
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Stefano Berardi and related titles
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383
Verification, Model Checking, and Abstract Interpretation
Kedar S. Namjoshi, Andreas Podelski
₹3,171
Fundamentals of Digital Logic with VHDL Design
Stephen D. Brown
₹4,022
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Algebraic and Logic Programming
Michael Hanus, Jan Heering, Karl Meinke
₹5,631
Foundations of Software Science and Computational Structures
Martin Hofmann
₹5,697
Software Engineering 1
Dines Bjørner
₹5,159
Types for Proofs and Programs
Eduardo Gimenez, Christine Paulin-Mohring
₹5,565
Hybrid Metaheuristics
Maria José Blesa, Christian Blum, Günther Raidl
₹5,498
Perspectives of Systems Informatics
Andrei Voronkov, Irina Virbitskaite
₹5,647