Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Computational Logic and Set Theory

Name: Computational Logic and Set Theory
Brand: Springer London Ltd
SKU: 01400064
Price: 52.69 EUR
Availability: InStock
Author: Jacob T. Schwartz
ISBN: 9780857298072

Applying Formalized Logic to Analysis

Jacob T. Schwartz

Domenico Cantone

Eugenio Omodeo

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01400064

Verlag Springer London Ltd, Juli 2011

As computer software becomes more complex, the question of how its correctness can be assured grows... Vollständige Beschreibung

Libristo-Code: 01400064

129 b

52.69 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Ocupación terapéutica en pacientes crónicos Mora Ródenas

Broschur

24.19 €

Černý Petr: Auta

Karten

2.39 €

Le grand livre de la F1 Jean-Louis Moncet

Broschur

49.39 €

Faktomania. 300 list dla maniaków wiedzy Pettie Andrew

Hardcover

34.29 €

Kdo to ví, odpoví! Sluneční soustava

binding.

6.09 €

Der Balkan: Mission Possible Maria Todorova

Broschur

30.00 €

Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra

Broschur

12.29 €

Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol.

Broschur

44.19 €

CELI 3 TEST DI PREPARAZIONE (LIVELLO B2) DAMASCELLI

Broschur

21.29 €

MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY

Broschur

7.39 €

Littérature, testez-vous ! 300 QCM Bénédicte Gaillard

Broschur

9.59 €

Minisode 1: Blue Hour (Deluxe Boxset) TOMORROW X TOGETHER

Audio CD

39.59 €

Slávna 5 vo víre dobrodružstiev Enid Blyton

Broschur

9.39 €

Babiččina bezlepková dieta Kristína Pleskačová

Blatt

9.59 €

Písanka 1 – Uvolňovací cviky neuvedený autor

Broschur

1.69 €

A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur

Broschur

13.89 €

Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier

Broschur

26.79 €

Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes

Broschur

16.89 €

Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck

Broschur

55.29 €

Kleopatra Paul Heyse

Hardcover

24.90 €

Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein

Hardcover

66.49 €

BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky

Broschur

29.79 €

Milostné příběhy Napoleona Bonaparta Guy Breton

Hardcover

0.99 €

As computer software becomes more complex, the question of how its correctness can be assured grows ever more critical. Formal logic embodied in computer programs is an important part of the answer to this problem.§This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Computational Logic and Set Theory

Autor Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2011

Anzahl der Seiten 416

EAN 9780857298072

ISBN 0857298070

Libristo-Code 01400064

Verlag Springer London Ltd

Gewicht 824

Abmessungen 166 x 243 x 30

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Terminus Shift Chris Reher

Broschur

11.29 €

Return to Dyatlov Pass J H Moncrieff

Broschur

10.49 €

Hubris AKINTUNDE AKINKUNMI

Broschur

21.69 €

Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff

Hardcover

248.79 €

A Woman's Inspiration: A book of poems to inspire women MS Marlo Miller

Broschur

14.80 €

MY Life And Work: The Autobiography Of Henry Ford Henry Ford

Broschur

10.49 €

Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell

Broschur

6.29 €

The Study of Cases: A Course of Instruction in Reading and Stating Reported Cases, Composing Head-Notes and Briefs, Criticising and Compar Eugene Wambaugh

Broschur

23.30 €