Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 € GLS Kurir 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Jezik EngleskiEngleski
Knjiga Tvrdi uvez
Knjiga Computational Logic and Set Theory Jacob T. Schwartz
Libristo kod: 01400064
Nakladnici Springer London Ltd, srpanj 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Cijeli opis
? points 122 b
50.51 €
Vanjske zalihe Šaljemo za 10-13 dana

Do 30 dana za povrat

Kupci su kupili i

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Knjiga Meki uvez
common.buy 24.64 €
libro che fa musica! / Knjiga Leporelo
common.buy 21.41 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Knjiga Meki uvez
common.buy 8.58 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Knjiga Meki uvez
common.buy 44.85 €
Der Balkan: Mission Possible Maria Todorova / Knjiga Meki uvez
common.buy 26.86 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Knjiga Tvrdi uvez
common.buy 35.15 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Knjiga Meki uvez
common.buy 25.45 €
Černý Petr: Auta / Tiskanica Karte
common.buy 1.51 €
Slávna 5 vo víre dobrodružstiev Enid Blyton / Knjiga Meki uvez
common.buy 8.48 €
Kdo to ví, odpoví! Sluneční soustava / Knjiga binding.
common.buy 5.85 €
Kleopatra Paul Heyse / Knjiga Tvrdi uvez
common.buy 22.32 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Knjiga Meki uvez
common.buy 17.37 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Knjiga Meki uvez
common.buy 28.18 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Knjiga Meki uvez
common.buy 98.60 €
Rico, rico y con fundamento Arguiñano / Knjiga Meki uvez
common.buy 24.14 €
Legendes Du Moyen Age 3e Edition Paris-G / Knjiga Meki uvez
common.buy 25.15 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Knjiga Meki uvez
common.buy 13.63 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Knjiga Meki uvez
common.buy 12.62 €
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Knjiga Meki uvez
common.buy 24.14 €
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Knjiga Tvrdi uvez
common.buy 68.19 €
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Knjiga Meki uvez
common.buy 16.16 €
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Knjiga Tvrdi uvez
common.buy 61.22 €
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Knjiga Meki uvez
common.buy 40.81 €
Au coeur d'une histoire Philippe Klein / Knjiga Meki uvez
common.buy 15.35 €

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

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Computational Logic and Set Theory
Autor Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Jezik Engleski
Uvez Knjiga - Tvrdi uvez
Datum izdanja 2011
Broj stranica 416
EAN 9780857298072
ISBN 0857298070
Libristo kod 01400064
Nakladnici Springer London Ltd
Težina 824
Dimenzije 166 x 243 x 30

Kategorija

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

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

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?