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 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,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.43 €
In extern magazijn Wordt binnen 10-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Boek Gebonden (paperback)
common.buy 25.51 €
libro che fa musica! / Boek Leporello (harmonicaboek)
common.buy 21.38 €
Kdo to ví, odpoví! Sluneční soustava / Boek binding.
common.buy 5.84 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Boek Gebonden (paperback)
common.buy 8.97 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Boek Gebonden (paperback)
common.buy 46.80 €
Der Balkan: Mission Possible Maria Todorova / Boek Gebonden (paperback)
common.buy 26.83 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Boek Gebonden (harde band)
common.buy 37.02 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Boek Gebonden (paperback)
common.buy 26.93 €
Černý Petr: Auta / Drukwerk Speelkaarten
common.buy 1.60 €
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Boek Gebonden (harde band)
common.buy 71.32 €
Kleopatra Paul Heyse / Boek Gebonden (harde band)
common.buy 22.29 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Boek Gebonden (paperback)
common.buy 17.34 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Boek Gebonden (paperback)
common.buy 103.30 €
Rico, rico y con fundamento Arguiñano / Boek Gebonden (paperback)
common.buy 25.11 €
Legendes Du Moyen Age 3e Edition Paris-G / Boek Gebonden (paperback)
common.buy 25.11 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Boek Gebonden (paperback)
common.buy 13.61 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Boek Gebonden (paperback)
common.buy 13.11 €
Let's Go To Outer Space Gary Wilson / Audio Audio cd
common.buy 14.72 €
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Boek Gebonden (paperback)
common.buy 25.21 €
Slávna 5 vo víre dobrodružstiev Enid Blyton / Boek Gebonden (paperback)
common.buy 8.97 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Boek Gebonden (paperback)
common.buy 28.14 €
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Boek Gebonden (paperback)
common.buy 16.13 €
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Boek Gebonden (harde band)
common.buy 61.13 €
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Boek Gebonden (paperback)
common.buy 42.87 €

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

Under a Mexican Moon Taylor Clark / Boek Gebonden (paperback)
common.buy 10.28 €
A Big Little Butterfly Hug Dominic Burkhalter / Boek Gebonden (paperback)
common.buy 9.47 €
Raw Materials And International Control H.R.G. Greaves / Boek Gebonden (paperback)
common.buy 52.25 €
Return to Dyatlov Pass J H Moncrieff / Boek Gebonden (paperback)
common.buy 10.28 €
Hubris AKINTUNDE AKINKUNMI / Boek Gebonden (paperback)
common.buy 22.08 €
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Boek Gebonden (harde band)
common.buy 215.48 €
TOP
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Boek Gebonden (paperback)
common.buy 10.28 €
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Boek Gebonden (paperback)
common.buy 6.75 €
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Boek Gebonden (paperback)
common.buy 13.00 €
James Martineau, Theologian and Teacher; A Study of his Life and Thought Joseph Estlin Carpenter / Boek Gebonden (harde band)
common.buy 40.95 €
Historicizing Theories, Identities, and Nations Regna Darnell / Boek Gebonden (paperback)
common.buy 42.97 €
Fuel Cells and Hydrogen Viktor Hacker / Boek Gebonden (paperback)
common.buy 260.78 €
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Boek Gebonden (harde band)
common.buy 33.48 €
catalogue of the Melbourne Public Library for 1861 Anonymus / Boek Gebonden (paperback)
common.buy 39.13 €
Health in All Policies: Training Manual Health Organization World / Boek Gebonden (paperback)
common.buy 63.65 €
Gospels as Historical Documents, Part III Vincent Henry Stanton / Boek Gebonden (paperback)
common.buy 23.80 €
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Boek Gebonden (paperback)
common.buy 48.82 €
His True North A. M. Kusi / Boek Gebonden (paperback)
common.buy 16.54 €
TOP
Pocket Potters: Professor Dumbledore Paola Escobar / Boek Gebonden (harde band)
common.buy 9.17 €
My Demon Hunter ASCHER AURORA / Boek Gebonden (paperback)
common.buy 15.73 €
DARK SOULS REDEMPTION V01 V01 / Boek Gebonden (paperback)
common.buy 12.20 €
Our Biggest Fight Jr. Frank H. McCourt / E-book Adobe ePub DRM
common.buy 7.46 €
Cold Snap Toni Anderson / Boek Gebonden (paperback)
common.buy 15.73 €
American West: History of the Wild West and Westward Expansion 1803-1890 Alice Barnes-Brown / Boek Gebonden (paperback)
common.buy 16.23 €

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