9780521899574 - handbook of practical logic and automated reasoning von john harrison (6 Ergebnisse)

ISBN

Optimieren Sie Ihre Suche

  • Bücher (6)

bis

Benutzerdefinierte Preisspanne (EUR)

bis

    • Sprache: Englisch

      Verlag: Cambridge University Press 2009

      0521899575 / 9780521899574

      • Hardcover

      Anbieter: Books From California, Simi Valley, USABooks From California

      Verkäufer/-in mit 4 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Gut

      EUR 115,16

      EUR 4,33 Versand 
      Versand innerhalb von USA

      Anzahl: 1 verfügbar

      hardcover. Zustand: Very Good.

    • Sprache: Englisch

      Verlag: Cambridge University Press 2009

      0521899575 / 9780521899574

      • Hardcover

      Anbieter: Zubal-Books, Since 1961, Cleveland, USAZubal-Books, Since 1961

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Gebraucht - Sehr gut

      EUR 119,51

      EUR 3,91 Versand 
      Versand innerhalb von USA

      Anzahl: 1 verfügbar

      Zustand: Fine. *Price HAS BEEN REDUCED by 10% until Monday, June 8 (weekend SALE item)* 702 pp., hardcover, near fine. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by

    • Sprache: Englisch

      Verlag: Cambridge University Press 2009

      0521899575 / 9780521899574

      • Hardcover

      Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 166,77

      EUR 13,86 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. In.

    • Sprache: Englisch

      Verlag: Cambridge University Press 2009

      0521899575 / 9780521899574

      • Hardcover

      Anbieter: Kennys Bookstore, Olney, USAKennys Bookstore

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 243,47

      EUR 9,11 Versand 
      Versand innerhalb von USA

      Anzahl: Mehr als 20 verfügbar

      Zustand: New. A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied. Num Pages: 702 pages, 10 tables 155 exercises. BIC Classification: UYQ. Category: (UP) Postgraduate, Research & Scholarly. Dimension: 252 x 179 x 42. Weight in Grams: 1392. . 2009.

    • Sprache: Englisch

      Verlag: Cambridge University Press 2009

      0521899575 / 9780521899574

      • Hardcover

      Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 244,15

      EUR 17,36 Versand 
      Versand von Vereinigtes Königreich nach USA

      Anzahl: 2 verfügbar

      Hardcover. Zustand: Brand New. 1st edition. 704 pages. 9.75x7.00x1.50 inches. In Stock.

    • Sprache: Englisch

      Verlag: Cambridge University Press 2009

      0521899575 / 9780521899574

      • Hardcover

      Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH

      Verkäufer/-in mit 5 Sternen
      Verkäufer/-in kontaktieren

      Zustand: Neu

      EUR 202,07

      EUR 66,85 Versand 
      Versand von Deutschland nach USA

      Anzahl: 1 verfügbar

      Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for