702 pp., hardcover, very good. - 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 recipient's country. Photos available upon request.

Bestandsnummer des Verk�ufers ZB1332505

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Handbook of Practical Logic and Automated Reasoning

Verlag

Cambridge University Press

Erscheinungsjahr

2009

Sprache

Englisch

ISBN-10

0521899575

ISBN-13

9780521899574

Einband

Hardcover

Zustand

Very Good

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).

�ber die Autorin bzw. den Autor

John Harrison is a Principal Engineer at the Intel Corporation in Portland, Oregon. He specialises in formal verification, automated theorem proving, floating-point arithmetic and mathematical algorithms.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

Zubal Books is the #1 buyer and seller of scholarly and rare books in America. Since 1961 we've handled thousands of private and technical libraries. Our family business knows books and we treat our clients with top-notch customer service. If you have any questions about our listings, please don't hesitate to contact us. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Zubal Books
2969 West 25th Street, Cleveland, OH, 44113, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Price are net to all
Visa/MC/Check/Money Order
Libraries Invoiced

We do accept checks, however
WE DO NOT HOLD OR RESERVE ANY ITEMS

All international postal rates are subject to change depending on weight
and size.

Widerrufsbelehrung

Versandbedingungen

Orders usually ship within 2 business days. Shipping costs are based on books
weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may
contact
you to let you know extra shipping is required.

Buyer is responsible for any additional duties, taxes, or fees required by recipient's country

Versandkosten innerhalb von USA

Versandkosten innerhalb von USA
Bestellmenge	4 bis 14�Werktage	3 bis 5�Werktage
Erster Artikel	EUR 3.84	EUR 11.94

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.

Impressum & Info zum Verk�ufer