9783540762560 - theorem proving with the real numbers (distinguished dissertations) von harrison, john (4 Ergebnisse)
- Hardcover
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 49,32
EUR 7,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: New. pp. xii + 186.
- Hardcover
Anbieter: ThriftBooks-Atlanta, AUSTELL, GA, USAThriftBooks-Atlanta
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 68,68
Versand gratisVersand innerhalb von USAAnzahl: 1 verfügbar
Hardcover. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Sprache: Englisch
Verlag: London ; Berlin ; Singapore ; Tokyo ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; Milan ; Paris ; Santa Clara : Springer, 1998
- Hardcover
Anbieter: Antiquariat Im Baldreit, Baden-Baden, DeutschlandAntiquariat Im Baldreit
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht
EUR 28,00
EUR 45,10 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
8°, grüner OPp mit Rückentitel. XII, 186 Seiten: graph. Darst., Gutes Exemplar mit handschriftlichem Besitzvermerk Sprache: Englisch Gewicht in Gramm: 405.
- Hardcover
Anbieter: CSG Onlinebuch GMBH, Darmstadt, DeutschlandCSG Onlinebuch GMBH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 29,71
EUR 95,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Gebunden. Zustand: Gut. Gebraucht - Gut Zustand: Gut, XII, 186 pp. About this book: The Distinguished Dissertation series is published on behalf of the Conference of Professors and Heads of Computing and the British Computer Society, who annually select the best British PhD dissertations in computer science for publication. The…dissertations are selected on behalf of the CPHC by a panel of eight academics. Each dissertation chosen makes a noteworthy contribution to the subject and reaches a high standard of exposition, placing all results clearly in the context of computer science as a whole. In this way computer scientists with significantly different interests are able to grasp the essentials - or even find a means of entry - to an unfamiliar research topic. Theorem Proving with the Real Numbers discusses the formal development of classical mathematics using a computer. It combines traditional lines of research in theorem proving and computer algebra and shows the usefulness of real numbers in verification. Written for Postgraduate students; final year undergraduates; researchers.
