Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette
₹5,618
Verified Software
Theories, Tools, Experiments: Third International Conference, Vstte 2010, Edinburgh, Uk, August 16-19, 2010, Proceedings
by Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
₹5,508
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
Matthew Parkinson.The authorsof these invitedtalks also graciouslyconsented to the publication of accompanying invited papers in this volume.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783642150562
- ISBN-10
- 364215056X
- Authors
- Gary T. Leavens, Peter O'Hearn, Sriram K. Rajamani
- Publisher
- Springer
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Aufwandsschätzungen in Der Software- Und Systementwicklung Kompakt
Oliver Hummel
₹1,208
Computergestützte Informations- Und Kommunikationssysteme in Der Unternehmung
Roland Gabriel, Friedrich Knittel, Holger Taday
₹2,779
The Multimedia Internet
Stephen Weinstein
₹4,319
Mädchen, Jungen Und Computer
Sigrid Metz-Göckel, Sigrid Frohnert, Gabriele Hahn-Mausbach
₹3,508
Der Einfluss Des Internets Auf Die Unternehmensgrenzen
Felix Schuler
₹3,508
Software-Ergonomie '95
Jens Böcker
₹3,141
Art of Digital Audio
John Watkinson
₹4,888
Advances in Object-Oriented Information Systems
Jean-Michel Bruel, Zohra Bellahsene
₹5,656
Programming Ruby
Dave Thomas, Chad Fowler, Andy Hunt
₹4,668
Intelligent Agents for Data Mining and Information Retrieval
Masoud Mohammadian
₹4,679
Globalization and the Digital Divide
Kirk St Amant, Bolanle Olaniran
₹4,668