Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 69.99 €
Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Език Английски езикАнглийски език
Книга С твърди корици
Книга Computational Logic and Set Theory Jacob T. Schwartz
Код Либристо: 01400064
Издателство Springer London Ltd, юли 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Цялото описание
? points 129 b
53.25 €
104.16  лв
Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Книга С меки корици
common.buy 26.65 € 52.12 лв
libro che fa musica! / Книга Дипляна
common.buy 22.57 € 44.14 лв
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Книга С меки корици
common.buy 9.34 € 18.28 лв
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Книга С меки корици
common.buy 48.97 € 95.77 лв
Der Balkan: Mission Possible Maria Todorova / Книга С меки корици
common.buy 28.46 € 55.66 лв
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Книга С твърди корици
common.buy 38.94 € 76.17 лв
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Книга С меки корици
common.buy 28.46 € 55.66 лв
Černý Petr: Auta / Печатни материали Карти
common.buy 1.70 € 3.32 лв
Slávna 5 vo víre dobrodružstiev Enid Blyton / Книга С меки корици
common.buy 9.45 € 18.48 лв
Kdo to ví, odpoví! Sluneční soustava / Книга binding.
common.buy 6.19 € 12.11 лв
Kleopatra Paul Heyse / Книга С твърди корици
common.buy 23.65 € 46.26 лв
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Книга С меки корици
common.buy 17.40 € 34.04 лв
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Книга С меки корици
common.buy 28.20 € 55.15 лв
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Книга С меки корици
common.buy 108.37 € 211.96 лв
Rico, rico y con fundamento Arguiñano / Книга С меки корици
common.buy 26.39 € 51.62 лв
Legendes Du Moyen Age 3e Edition Paris-G / Книга С меки корици
common.buy 25.15 € 49.19 лв
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Книга С меки корици
common.buy 13.68 € 26.76 лв
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Книга С меки корици
common.buy 13.84 € 27.07 лв
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Книга С меки корици
common.buy 26.29 € 51.42 лв
Jeff Koons, The Painter and the Sculptor, 2 Bde. Max Hollein / Книга С твърди корици
common.buy 74.48 € 145.68 лв
Schule und Erziehung im Nationalsozialismus Marc Hoffmann / Книга С меки корици
common.buy 17.15 € 33.53 лв
Den Demographischen Wandel Im Unternehmen Erfolgreich Gestalten Thomas Langhoff / Книга С твърди корици
common.buy 64.62 € 126.38 лв
Das Liquiditätsproblem bei den Girozentralen. Dietrich Golz / Книга С меки корици
common.buy 45.09 € 88.19 лв
Au coeur d'une histoire Philippe Klein / Книга С меки корици
common.buy 16.27 € 31.82 лв

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
Баркод 9780857298072
ISBN 0857298070
Код Либристо 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 Книгата ще пристигне на адреса на получателя

Може би ще Ви заинтересува

Raw Materials And International Control H.R.G. Greaves / Книга С меки корици
common.buy 52.32 € 102.34 лв
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Книга С меки корици
common.buy 51.76 € 101.23 лв
Gospels as Historical Documents, Part III Vincent Henry Stanton / Книга С меки корици
common.buy 23.86 € 46.67 лв
Health in All Policies: Training Manual Health Organization World / Книга С меки корици
common.buy 63.74 € 124.66 лв
catalogue of the Melbourne Public Library for 1861 Anonymus / Книга С меки корици
common.buy 41.42 € 81.02 лв
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Книга С твърди корици
common.buy 33.52 € 65.56 лв
Fuel Cells and Hydrogen Viktor Hacker / Книга С меки корици
common.buy 261.12 € 510.71 лв
Historicizing Theories, Identities, and Nations Regna Darnell / Книга С меки корици
common.buy 43.03 € 84.15 лв
Under a Mexican Moon Taylor Clark / Книга С меки корици
common.buy 10.27 € 20.10 лв
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Книга С меки корици
common.buy 13.06 € 25.55 лв
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Книга С меки корици
common.buy 6.71 € 13.12 лв
Top
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Книга С меки корици
common.buy 10.33 € 20.20 лв
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Книга С твърди корици
common.buy 226.62 € 443.22 лв
Hubris AKINTUNDE AKINKUNMI / Книга С меки корици
common.buy 22.16 € 43.33 лв
Return to Dyatlov Pass J H Moncrieff / Книга С меки корици
common.buy 10.33 € 20.20 лв
Tragic Rhetoric Bruce Heiden / Книга С твърди корици
common.buy 51.24 € 100.21 лв
A Big Little Butterfly Hug Dominic Burkhalter / Книга С меки корици
common.buy 9.55 € 18.68 лв
Data Visualization with Python for Beginners AI Publishing / Книга С меки корици
common.buy 23.81 € 46.57 лв
Chinese Medicine Guidebook Essential Oils to Balance the 5 Elements & Organ Meridians Kg Stiles / Книга С меки корици
common.buy 20.24 € 39.59 лв
Selected Poems, Ed. by E. Gosse Thomas Gray / Книга С меки корици
common.buy 17.09 € 33.43 лв
Heralds of a Liberal Faith, Volume 3 Samuel Atkins Eliot / Книга С меки корици
common.buy 26.60 € 52.02 лв
His True North A. M. Kusi / Книга С меки корици
common.buy 16.53 € 32.32 лв
FreeCAD for architectural drawing: Create technical drawings with a free and open-source CAD Allan Brito / Книга С меки корици
common.buy 23.71 € 46.36 лв
Poly(ADP-Ribose) Polymerase Alexei V. Tulin / Книга С твърди корици
common.buy 233.28 € 456.26 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?