Foundational and Practical Aspects of Resource Analysis
Marko Van Eekelen, Ugo Dal Lago
₹4,201
Interactive Theorem Proving
Second International Conference
by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
Springer · 2011
₹5,593
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
Interactive Theorem Proving: Second International Conference is written by Marko Van Eekelen, Herman Geuvers & others. This edition from Springer (2011).
Its main subjects are Logic design, Software engineering, Computer science and Artificial intelligence.
Book details
- ISBN-13
- 9783642228629
- ISBN-10
- 3642228623
- Authors
- Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
- Publisher
- Springer
- Published
- 2011
- Language
- English
- Condition
- New
- Subject
- Logic design
More by Marko Van Eekelen and related titles
Foundational and Practical Aspects of Resource Analysis
Marko Van Eekelen, Olha Shkaravska
₹5,465
Typed Lambda Calculi and Applications
Masahito Hasegawa
₹3,615
Programming Languages and Systems - ESOP '94
Donald Sannella
₹5,642
Modelling Foundations and Applications
Antonio Vallecillo, Juha-Pekka Tolvanen, Ekkart Kindler
₹5,603
Runtime Verification
Koushik Sen, Sarfaz Khurshid
₹5,672
Formal Program Development
Bernhard Möller, Helmut Partsch, Steve Schuman
₹5,569
Stacs 84
M. Fontet, K. Mehlhorn
₹3,274
Spice
Ernst E. E. Hoefer, Horst Nielinger
₹3,508
Rechnerarchitektur
Wolfgang K. Giloi
₹3,141
Horizons of the Mind. A Tribute to Prakash Panangaden
Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
₹4,241
Programmverifikation
Krzysztof R. Apt, Ernst-Rüdiger Olderog
₹2,595