The Calculus of Computation: Decision Procedures with Applications to Verification

Bradley, Aaron R.

ISBN 10: 3540741127 ISBN 13: 9783540741121

Verlag: Springer, 2007

Sprache: Englisch

Zustand: Neu Hardcover

F�r sp�ter vormerken

Verkauft von thebookforest.com, San Rafael, CA, USA

AbeBooks-Verk�ufer seit 3. Januar 2023

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Hardcover

Zustand: Neu

Preis: EUR 54,14 W�hrung umrechnen

EUR 42,72 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped.

Bestandsnummer des Verk�ufers 1LAUHV00314D

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

The Calculus of Computation: Decision Procedures with Applications to Verification

Verlag

Springer

Erscheinungsjahr

2007

Sprache

Englisch

ISBN-10

3540741127

ISBN-13

9783540741121

Einband

hardcover

Zustand

New

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.

�ber die Autorin bzw. den Autor

Charlotte y Peter Fiell son dos autoridades en historia, teor�a y cr�tica del dise�o y han escrito m�s de sesenta libros sobre la materia, muchos de los cuales se han convertido en �xitos de ventas. Tambi�n han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Dise�o del siglo XX, El dise�o industrial de la A a la Z, Scandinavian Design y Dise�o del siglo XXI.

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

Anbieterinformationen

Since 2010, the Book Forest has raised over 3 million dollars for participating public libraries.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

thebookforest.com
CA, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Widerrufsbelehrung

Versandbedingungen

Orders ship within 24 hours of receipt. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or over sized, we may contact you to let you know extra shipping is required.

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	21 bis 40�Werktage	7 bis 21�Werktage
Erster Artikel	EUR 42.72	EUR 42.72

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.