The Calculus of Computation (Paperback)

Aaron R. Bradley

15 Bewertungen von Goodreads

Sprache: Englisch

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010

3642093477 / 9783642093470

  • Erstausgabe
  • Softcover
  • Neu
Alle Details anzeigen

Anbieter: AussieBookSeller, Truganina, VIC, AustralienAussieBookSeller

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Juni 2007

Artikel dieses Verkäufers ansehen
Softcover

Zustand: Neu

EUR 87,00

EUR 31,87 Versand 
Versand von Australien nach USA

Anzahl: 1 verfügbar

In den Warenkorb
Kostenlose Rückgaben innerhalb von 30 Tagen

Artikelbeschreibung vom Verkäufer

Paperback. Computational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. 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.This textbook also presents a logical approach to engineering correct software. The increasing ubiquity of computers makes implementing correct systems more important than ever. Verification exercises 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.For readers interested in learning more about computational logic, decision procedures, verification, and other areas of formal methods, the final chapter outlines courses of further study. 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 book also presents a logical approach to engineering correct software. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

Bestandsnummer des Verkäufers 9783642093470

Titel
The Calculus of Computation (Paperback)
Autor
Aaron R. Bradley
Verlag
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin
Veröffentlichungsjahr
2010
Zustand
new
Einband
Paperback
Sprache
Englisch
ISBN-10
3642093477
ISBN-13
9783642093470
Ausgabe
1. Auflage

AussieBookSeller

Truganina, VIC, Australien

Verkäufer/-in mit 5 Sternen

AbeBooks-Verkäufer/-in seit 22. Juni 2007

Versandkosten von Australien nach USA

Artikel25 bis 45 Werktage8 bis 14 Werktage
Erster ArtikelEUR 31,87EUR 37,90
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.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australien 3029