Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Foundational and Practical Aspects of Resource Analysis
First International Workshop, FOPARA 2009, Eindhoven, the Netherlands, November 6, 2010, Revi
by Marko Van Eekelen, Olha Shkaravska
₹5,465
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
The publisher hasn't supplied a description for this edition. The details alongside are from the distributor's record.
Book details
- ISBN-13
- 9783642153303
- ISBN-10
- 3642153305
- Authors
- Marko Van Eekelen, Olha Shkaravska
- Publisher
- Springer
- Condition
- New
More by Marko Van Eekelen and related titles
Infectious Diseases and Substance Abuse
Herman Friedman, Thomas W. Klein, Mauro Bendinelli
₹5,143
Handbook of Weighted Automata
Manfred Droste, Werner Kuich, Heiko Vogler
₹4,679
Content-Based Analysis of Digital Video
Alan Hanjalic
₹4,245
Leadership in Turbulenten Zeiten
Ralph Berndt
₹2,779
Leitfaden Der Ernährungsmedizin
Volker Pudel, K. Becker, Manfred J. Müller
₹5,330
Discrete Geometry for Computer Imagery
Isabelle Debled-Rennesson, Eric Domenjoud, Bertrand Kerautret
₹5,669
Die Schussverletzungen Des Schädels Im Jetzigen Kriege
N. Guleke
₹3,508
Über Beurteilung Und Behandlung Von Kranken
Richard Siebeck
₹3,508
Spaces of Analytic Functions
O. B. Bekken, B. K. Oksendal, A. Stray
₹3,244
Self-Star Properties in Complex Information Systems
Ozalp Babaoglu, Márk Jelasity, Alberto Montresor
₹5,605
New Frontiers in Applied Data Mining
Thanaruk Theeramunkong, Cholwich Nattee, Paulo J. L. Adeodato
₹5,468