Έλεγχος κατάστασης παραγγελίας
LIBRISTO
LIBROAMANTO
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης
Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού
0
Δωρεάν αποστολή με Box Now άνω των 69.99 €
DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Σκληρόδετο
Βιβλίο Computational Logic and Set Theory Jacob T. Schwartz
Κωδικός Libristo: 01400064
ΕΕκδοτικός οίκος Springer London Ltd, Ιούλιος 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Πλήρης περιγραφή
? points 122 b
50.63 €
Σε εξωτερική αποθήκη Αποστέλλουμε σε 10-13 ημέρες
Ελλάδα Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Βιβλίο Χαρτόδετο
common.buy 23.49 €
Le grand livre de la F1 Jean-Louis Moncet / Βιβλίο Χαρτόδετο
common.buy 53.16 €
Kdo to ví, odpoví! Sluneční soustava / Βιβλίο binding.
common.buy 5.86 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Βιβλίο Σκληρόδετο
common.buy 38.88 €
Černý Petr: Auta / Έντυπα Κάρτες
common.buy 1.51 €
Kleopatra Paul Heyse / Βιβλίο Σκληρόδετο
common.buy 22.37 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Βιβλίο Χαρτόδετο
common.buy 42.73 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Βιβλίο Χαρτόδετο
common.buy 27.03 €
Der Balkan: Mission Possible Maria Todorova / Βιβλίο Χαρτόδετο
common.buy 30.68 €
Milostné příběhy Napoleona Bonaparta Guy Breton / Βιβλίο Σκληρόδετο
common.buy 0.90 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Βιβλίο Χαρτόδετο
common.buy 8.80 €
libro che fa musica! / Βιβλίο Leporelo
common.buy 21.46 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Βιβλίο Χαρτόδετο
common.buy 28.05 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Βιβλίο Χαρτόδετο
common.buy 17.71 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Βιβλίο Χαρτόδετο
common.buy 103.70 €
Rico, rico y con fundamento Arguiñano / Βιβλίο Χαρτόδετο
common.buy 22.98 €
Legendes Du Moyen Age 3e Edition Paris-G / Βιβλίο Χαρτόδετο
common.buy 26.42 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Βιβλίο Χαρτόδετο
common.buy 14.37 €
Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck / Βιβλίο Χαρτόδετο
common.buy 53.16 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Βιβλίο Χαρτόδετο
common.buy 11.94 €
Let's Go To Outer Space Gary Wilson / Audio Audio CD
common.buy 14.78 €
Credit retrouve, par un pauvre, decembre 1848 / Βιβλίο Χαρτόδετο
common.buy 17.31 €
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Βιβλίο Χαρτόδετο
common.buy 25.11 €
Προετοιμαζουμε
Babiččina bezlepková dieta Kristína Pleskačová / Βιβλίο Λίστα
common.buy 9.00 €

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

Ηθοποιός & Πολύγλωσση
EWA KASP για
Αναπαραγωγή βίντεο
Ewa Kasp
το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Computational Logic and Set Theory
Συγγραφέας Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Σκληρόδετο
Ημερομηνία έκδοσης 2011
Αριθμός σελίδων 416
EAN 9780857298072
ISBN 0857298070
Κωδικός Libristo 01400064
ΕΕκδοτικός οίκος Springer London Ltd
Βάρος 824
Διαστάσεις 166 x 243 x 30

Κατηγορία

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
Χαρίστε αυτό το βιβλίο σήμερα
Είναι εύκολο
1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη

Μπορεί να σας ενδιαφέρει

The Study of Cases: A Course of Instruction in Reading and Stating Reported Cases, Composing Head-Notes and Briefs, Criticising and Compar Eugene Wambaugh / Βιβλίο Χαρτόδετο
common.buy 26.73 €
Souls & Salvation: The Vampire and Angel Wars Book 3 G. K. DeRosa / Βιβλίο Χαρτόδετο
common.buy 15.79 €
A Big Little Butterfly Hug Dominic Burkhalter / Βιβλίο Χαρτόδετο
common.buy 10.02 €
Raw Materials And International Control H.R.G. Greaves / Βιβλίο Χαρτόδετο
common.buy 54.78 €
Return to Dyatlov Pass J H Moncrieff / Βιβλίο Χαρτόδετο
common.buy 10.83 €
Hubris AKINTUNDE AKINKUNMI / Βιβλίο Χαρτόδετο
common.buy 23.28 €
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Βιβλίο Σκληρόδετο
common.buy 240.03 €
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Βιβλίο Χαρτόδετο
common.buy 10.83 €
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Βιβλίο Χαρτόδετο
common.buy 7.08 €
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Βιβλίο Χαρτόδετο
common.buy 13.76 €
James Martineau, Theologian and Teacher; A Study of his Life and Thought Joseph Estlin Carpenter / Βιβλίο Σκληρόδετο
common.buy 43.14 €
Under a Mexican Moon Taylor Clark / Βιβλίο Χαρτόδετο
common.buy 10.83 €
Historicizing Theories, Identities, and Nations Regna Darnell / Βιβλίο Χαρτόδετο
common.buy 45.06 €
Fuel Cells and Hydrogen Viktor Hacker / Βιβλίο Χαρτόδετο
common.buy 272.44 €
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Βιβλίο Σκληρόδετο
common.buy 35.24 €
catalogue of the Melbourne Public Library for 1861 Anonymus / Βιβλίο Χαρτόδετο
common.buy 39.29 €
Health in All Policies: Training Manual Health Organization World / Βιβλίο Χαρτόδετο
common.buy 66.74 €
Gospels as Historical Documents, Part III Vincent Henry Stanton / Βιβλίο Χαρτόδετο
common.buy 25.41 €
His True North A. M. Kusi / Βιβλίο Χαρτόδετο
common.buy 17.41 €
Τοπ
Pocket Potters: Professor Dumbledore Paola Escobar / Βιβλίο Σκληρόδετο
common.buy 9.21 €
My Demon Hunter ASCHER AURORA / Βιβλίο Χαρτόδετο
common.buy 16.70 €
DARK SOULS REDEMPTION V01 V01 / Βιβλίο Χαρτόδετο
common.buy 12.85 €
Our Biggest Fight Jr. Frank H. McCourt / ebook Adobe ePub DRM
common.buy 10.02 €
Cold Snap Toni Anderson / Βιβλίο Χαρτόδετο
common.buy 16.70 €

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo
Σύμβουλος βιβλίων Libroamiko
Γεια σας, είμαι ο Libroamiko, μπορώ να βοηθήσω;