Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Sprache EnglischEnglisch
Buch Hardcover
Buch Computational Logic and Set Theory Jacob T. Schwartz
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
? points 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 / Buch Broschur
common.buy 26.39 €
libro che fa musica! / Buch Leporello
common.buy 22.29 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Buch Broschur
common.buy 9.29 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Buch Broschur
common.buy 48.49 €
Der Balkan: Mission Possible Maria Todorova / Buch Broschur
common.buy 30.00 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Buch Hardcover
common.buy 38.49 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Buch Broschur
common.buy 28.19 €
Černý Petr: Auta / Drucksachen Karten
common.buy 1.69 €
Slávna 5 vo víre dobrodružstiev Enid Blyton / Buch Broschur
common.buy 9.39 €
Kdo to ví, odpoví! Sluneční soustava / Buch binding.
common.buy 5.79 €
Kleopatra Paul Heyse / Buch Hardcover
common.buy 24.90 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Buch Broschur
common.buy 18.09 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Buch Broschur
common.buy 29.19 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Buch Broschur
common.buy 107.29 €
Rico, rico y con fundamento Arguiñano / Buch Broschur
common.buy 26.09 €
Legendes Du Moyen Age 3e Edition Paris-G / Buch Broschur
common.buy 26.09 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Buch Broschur
common.buy 14.19 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Buch Broschur
common.buy 13.69 €
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Buch Broschur
common.buy 25.99 €
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Buch Hardcover
common.buy 73.69 €
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Buch Broschur
common.buy 17.99 €
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Buch Hardcover
common.buy 64.99 €
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Buch Broschur
common.buy 44.59 €
Au coeur d'une histoire Philippe Klein / Buch Broschur
common.buy 16.09 €

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
Ewa Kasp
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

Raw Materials And International Control H.R.G. Greaves / Buch Broschur
common.buy 54.09 €
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Buch Broschur
common.buy 51.19 €
Gospels as Historical Documents, Part III Vincent Henry Stanton / Buch Broschur
common.buy 25.09 €
Health in All Policies: Training Manual Health Organization World / Buch Broschur
common.buy 65.89 €
catalogue of the Melbourne Public Library for 1861 Anonymus / Buch Broschur
common.buy 40.99 €
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Buch Hardcover
common.buy 34.79 €
Fuel Cells and Hydrogen Viktor Hacker / Buch Broschur
common.buy 268.99 €
Historicizing Theories, Identities, and Nations Regna Darnell / Buch Broschur
common.buy 44.49 €
Under a Mexican Moon Taylor Clark / Buch Broschur
common.buy 10.69 €
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Buch Broschur
common.buy 13.59 €
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Buch Broschur
common.buy 6.99 €
Top
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Buch Broschur
common.buy 10.69 €
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Buch Hardcover
common.buy 224.29 €
Hubris AKINTUNDE AKINKUNMI / Buch Broschur
common.buy 22.99 €
Return to Dyatlov Pass J H Moncrieff / Buch Broschur
common.buy 10.69 €
Tragic Rhetoric Bruce Heiden / Buch Hardcover
common.buy 50.69 €
A Big Little Butterfly Hug Dominic Burkhalter / Buch Broschur
common.buy 9.89 €
Data Visualization with Python for Beginners AI Publishing / Buch Broschur
common.buy 24.79 €
Chinese Medicine Guidebook Essential Oils to Balance the 5 Elements & Organ Meridians Kg Stiles / Buch Broschur
common.buy 20.99 €
Selected Poems, Ed. by E. Gosse Thomas Gray / Buch Broschur
common.buy 17.89 €
Heralds of a Liberal Faith, Volume 3 Samuel Atkins Eliot / Buch Broschur
common.buy 27.89 €
His True North A. M. Kusi / Buch Broschur
common.buy 17.19 €
FreeCAD for architectural drawing: Create technical drawings with a free and open-source CAD Allan Brito / Buch Broschur
common.buy 24.69 €
Poly(ADP-Ribose) Polymerase Alexei V. Tulin / Buch Hardcover
common.buy 230.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?