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

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

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: 44.39 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

109 b

44.39 € 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

21.29 €

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

binding.

5.09 €

libro che fa musica!

Leporello

18.79 €

Let's Go To Outer Space Gary Wilson

Audio CD

13.99 €

Černý Petr: Auta

Karten

1.29 €

THIMBLE THEATRE SELECCION DE PLANCHAS DOMINICALES 1925 1930 E C SEGAR

Buch

58.29 €

Le grand livre de la F1 Jean-Louis Moncet

Broschur

43.39 €

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

Broschur

38.39 €

Faktomania. 300 list dla maniaków wiedzy Pettie Andrew

Hardcover

30.89 €

Der Balkan: Mission Possible Maria Todorova

Broschur

30.00 €

Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker

Broschur

92.95 €

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

Hardcover

0.79 €

BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky

Broschur

25.19 €

Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff

Hardcover

64.99 €

Schule und Erziehung im Nationalsozialismus Marc Hoffmann

Broschur

17.99 €

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

Hardcover

58.09 €

Kleopatra Paul Heyse

Hardcover

24.90 €

Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck

Broschur

54.99 €

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

Broschur

13.99 €

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

Broschur

22.59 €

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

Broschur

7.09 €

Rico, rico y con fundamento Arguiñano

Broschur

20.59 €

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

Broschur

11.49 €

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

Broschur

10.79 €

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

Historicizing Theories, Identities, and Nations Regna Darnell

Broschur

36.89 €

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

Hardcover

213.29 €

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

Broschur

16.39 €

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

Broschur

8.69 €

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

Broschur

5.59 €

Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett

Broschur

10.89 €

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

20.19 €