Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Język AngielskiAngielski
Książka Twarda
Książka Computational Logic and Set Theory Jacob T. Schwartz
Kod Libristo: 01400064
Wydawnictwo Springer London Ltd, lipiec 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Cały opis
? points 141 b
Gwarancja
najlepszej
ceny ▸
248.35 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 11-15 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Książka Miękka
common.buy 109.08 zł
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Książka Miękka
common.buy 38.13 zł
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Książka Miękka
common.buy 199.54 zł
Der Balkan: Mission Possible Maria Todorova / Książka Miękka
common.buy 114.31 zł
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Książka Twarda
common.buy 129.10 zł
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Książka Miękka
common.buy 114.71 zł
Černý Petr: Auta / Prasa Karty
common.buy 5.63 zł
Slávna 5 vo víre dobrodružstiev Enid Blyton / Książka Miękka
common.buy 38.13 zł
Kdo to ví, odpoví! Sluneční soustava / Książka binding.
common.buy 24.75 zł
Kleopatra Paul Heyse / Książka Twarda
common.buy 178.11 zł
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Książka Miękka
common.buy 74.16 zł
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Książka Miękka
common.buy 119.94 zł
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Książka Miękka
common.buy 440.36 zł
Rico, rico y con fundamento Arguiñano / Książka Miękka
common.buy 107.67 zł
Legendes Du Moyen Age 3e Edition Paris-G / Książka Miękka
common.buy 107.16 zł
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Książka Miękka
common.buy 58.16 zł
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Książka Miękka
common.buy 56.34 zł
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Książka Miękka
common.buy 107.37 zł
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Książka Twarda
common.buy 303.50 zł
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Książka Miękka
common.buy 68.82 zł
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Książka Twarda
common.buy 313.36 zł
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Książka Miękka
common.buy 182.64 zł
Au coeur d'une histoire Philippe Klein / Książka Miękka
common.buy 99.42 zł

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

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Computational Logic and Set Theory
Autor Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Język Angielski
Oprawa Książka - Twarda
Data wydania 2011
Liczba stron 416
EAN 9780857298072
ISBN 0857298070
Kod Libristo 01400064
Wydawnictwo Springer London Ltd
Waga 824
Wymiary 166 x 243 x 30

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Projektowanie i ergonomia interfejsu użytkownika
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Raw Materials And International Control H.R.G. Greaves / Książka Miękka
common.buy 222.69 zł
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Książka Miękka
common.buy 237.48 zł
Gospels as Historical Documents, Part III Vincent Henry Stanton / Książka Miękka
common.buy 101.53 zł
Health in All Policies: Training Manual Health Organization World / Książka Miękka
common.buy 271.19 zł
catalogue of the Melbourne Public Library for 1861 Anonymus / Książka Miękka
common.buy 250.16 zł
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Książka Twarda
common.buy 142.59 zł
Fuel Cells and Hydrogen Viktor Hacker / Książka Miękka
common.buy 1 111.17 zł
Historicizing Theories, Identities, and Nations Regna Darnell / Książka Miękka
common.buy 183.04 zł
Under a Mexican Moon Taylor Clark / Książka Miękka
common.buy 43.76 zł
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Książka Miękka
common.buy 55.54 zł
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Książka Miękka
common.buy 28.67 zł
TOP
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Książka Miękka
common.buy 43.87 zł
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Książka Twarda
common.buy 918.46 zł
Hubris AKINTUNDE AKINKUNMI / Książka Miękka
common.buy 94.28 zł
Return to Dyatlov Pass J H Moncrieff / Książka Miękka
common.buy 43.87 zł
Tragic Rhetoric Bruce Heiden / Książka Twarda
common.buy 208.10 zł
A Big Little Butterfly Hug Dominic Burkhalter / Książka Miękka
common.buy 40.54 zł
Data Visualization with Python for Beginners AI Publishing / Książka Miękka
common.buy 101.33 zł
Chinese Medicine Guidebook Essential Oils to Balance the 5 Elements & Organ Meridians Kg Stiles / Książka Miękka
common.buy 86.23 zł
Selected Poems, Ed. by E. Gosse Thomas Gray / Książka Miękka
common.buy 72.75 zł
Heralds of a Liberal Faith, Volume 3 Samuel Atkins Eliot / Książka Miękka
common.buy 113.10 zł
His True North A. M. Kusi / Książka Miękka
common.buy 70.43 zł
FreeCAD for architectural drawing: Create technical drawings with a free and open-source CAD Allan Brito / Książka Miękka
common.buy 101.02 zł
Poly(ADP-Ribose) Polymerase Alexei V. Tulin / Książka Twarda
common.buy 957.10 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?