Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Computational Logic and Set Theory Jacob T. Schwartz
Libristo-code: 01400064
Uitgeverij Springer London Ltd, juli 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Volledige beschrijving
? points 122 b
50.57 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Boek Gebonden (paperback)
common.buy 25.68 €
libro che fa musica! / Boek Leporello (harmonicaboek)
common.buy 15.06 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Boek Gebonden (paperback)
common.buy 8.99 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Boek Gebonden (paperback)
common.buy 46.93 €
Der Balkan: Mission Possible Maria Todorova / Boek Gebonden (paperback)
common.buy 26.90 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Boek Gebonden (harde band)
common.buy 36.10 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Boek Gebonden (paperback)
common.buy 28.52 €
Černý Petr: Auta / Drukwerk Speelkaarten
common.buy 1.61 €
Slávna 5 vo víre dobrodružstiev Enid Blyton / Boek Gebonden (paperback)
common.buy 8.99 €
Kdo to ví, odpoví! Sluneční soustava / Boek binding.
common.buy 5.86 €
Kleopatra Paul Heyse / Boek Gebonden (harde band)
common.buy 22.35 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Boek Gebonden (paperback)
common.buy 17.39 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Boek Gebonden (paperback)
common.buy 28.21 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Boek Gebonden (paperback)
common.buy 108.53 €
Rico, rico y con fundamento Arguiñano / Boek Gebonden (paperback)
common.buy 25.28 €
Legendes Du Moyen Age 3e Edition Paris-G / Boek Gebonden (paperback)
common.buy 25.18 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Boek Gebonden (paperback)
common.buy 13.65 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Boek Gebonden (paperback)
common.buy 13.24 €
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Boek Gebonden (paperback)
common.buy 25.28 €
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Boek Gebonden (harde band)
common.buy 71.41 €
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Boek Gebonden (paperback)
common.buy 16.18 €
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Boek Gebonden (harde band)
common.buy 61.29 €
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Boek Gebonden (paperback)
common.buy 45.11 €
Au coeur d'une histoire Philippe Klein / Boek Gebonden (paperback)
common.buy 15.37 €

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

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Computational Logic and Set Theory
Auteur Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2011
Aantal pagina's 416
EAN 9780857298072
ISBN 0857298070
Libristo-code 01400064
Uitgeverij Springer London Ltd
Gewicht 824
Afmetingen 166 x 243 x 30

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Raw Materials And International Control H.R.G. Greaves / Boek Gebonden (paperback)
common.buy 52.39 €
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Boek Gebonden (paperback)
common.buy 48.95 €
Gospels as Historical Documents, Part III Vincent Henry Stanton / Boek Gebonden (paperback)
common.buy 23.86 €
Health in All Policies: Training Manual Health Organization World / Boek Gebonden (paperback)
common.buy 63.82 €
catalogue of the Melbourne Public Library for 1861 Anonymus / Boek Gebonden (paperback)
common.buy 39.24 €
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Boek Gebonden (harde band)
common.buy 33.57 €
Fuel Cells and Hydrogen Viktor Hacker / Boek Gebonden (paperback)
common.buy 261.48 €
Historicizing Theories, Identities, and Nations Regna Darnell / Boek Gebonden (paperback)
common.buy 43.08 €
Under a Mexican Moon Taylor Clark / Boek Gebonden (paperback)
common.buy 10.31 €
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Boek Gebonden (paperback)
common.buy 13.04 €
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Boek Gebonden (paperback)
common.buy 6.77 €
TOP
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Boek Gebonden (paperback)
common.buy 10.31 €
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Boek Gebonden (harde band)
common.buy 226.89 €
Hubris AKINTUNDE AKINKUNMI / Boek Gebonden (paperback)
common.buy 22.14 €
Return to Dyatlov Pass J H Moncrieff / Boek Gebonden (paperback)
common.buy 10.31 €
Tragic Rhetoric Bruce Heiden / Boek Gebonden (harde band)
common.buy 48.95 €
A Big Little Butterfly Hug Dominic Burkhalter / Boek Gebonden (paperback)
common.buy 9.50 €
Data Visualization with Python for Beginners AI Publishing / Boek Gebonden (paperback)
common.buy 23.86 €
TOP
Chinese Medicine Guidebook Essential Oils to Balance the 5 Elements & Organ Meridians Kg Stiles / Boek Gebonden (paperback)
common.buy 20.32 €
Selected Poems, Ed. by E. Gosse Thomas Gray / Boek Gebonden (paperback)
common.buy 17.09 €
Heralds of a Liberal Faith, Volume 3 Samuel Atkins Eliot / Boek Gebonden (paperback)
common.buy 26.59 €
His True North A. M. Kusi / Boek Gebonden (paperback)
common.buy 16.58 €
FreeCAD for architectural drawing: Create technical drawings with a free and open-source CAD Allan Brito / Boek Gebonden (paperback)
common.buy 23.76 €
Poly(ADP-Ribose) Polymerase Alexei V. Tulin / Boek Gebonden (harde band)
common.buy 221.32 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?