Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Language EnglishEnglish
Book Hardback
Book Computational Logic and Set Theory Jacob T. Schwartz
Libristo code: 01400064
Publishers Springer London Ltd, July 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Full description
? points 133 b
19 438 Ft
In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Book Paperback
common.buy 9 053 Ft
Le grand livre de la F1 Jean-Louis Moncet / Book Paperback
common.buy 18 839 Ft
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Book Hardback
common.buy 13 714 Ft
Kdo to ví, odpoví! Sluneční soustava / Book binding.
common.buy 2 146 Ft
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Book Paperback
common.buy 9 537 Ft
Černý Petr: Auta / Printed items Cards
common.buy 571 Ft
libro che fa musica! / Book Board book
common.buy 8 234 Ft
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Book Paperback
common.buy 16 587 Ft
Der Balkan: Mission Possible Maria Todorova / Book Paperback
common.buy 10 398 Ft
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Book Paperback
common.buy 3 168 Ft
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Book Paperback
common.buy 10 702 Ft
Babiččina bezlepková dieta Kristína Pleskačová / Book Sheet
common.buy 3 182 Ft
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Book Paperback
common.buy 6 645 Ft
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Book Paperback
common.buy 36 624 Ft
Rico, rico y con fundamento Arguiñano / Book Paperback
common.buy 8 952 Ft
Legendes Du Moyen Age 3e Edition Paris-G / Book Paperback
common.buy 9 565 Ft
Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck / Book Paperback
common.buy 20 373 Ft
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Book Paperback
common.buy 5 199 Ft
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Book Paperback
common.buy 4 688 Ft
Let's Go To Outer Space Gary Wilson / Audio Audio CD
common.buy 5 650 Ft
Credit retrouve, par un pauvre, decembre 1848 / Book Paperback
common.buy 6 295 Ft
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Book Paperback
common.buy 8 938 Ft
Slávna 5 vo víre dobrodružstiev Enid Blyton / Book Paperback
common.buy 3 168 Ft
Kleopatra Paul Heyse / Book Hardback
common.buy 8 644 Ft

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

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Computational Logic and Set Theory
Author Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Language English
Binding Book - Hardback
Date of issue 2011
Number of pages 416
EAN 9780857298072
ISBN 0857298070
Libristo code 01400064
Publishers Springer London Ltd
Weight 824
Dimensions 166 x 243 x 30

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Under a Mexican Moon Taylor Clark / Book Paperback
common.buy 3 928 Ft
A Big Little Butterfly Hug Dominic Burkhalter / Book Paperback
common.buy 3 652 Ft
Raw Materials And International Control H.R.G. Greaves / Book Paperback
common.buy 19 829 Ft
Return to Dyatlov Pass J H Moncrieff / Book Paperback
common.buy 3 942 Ft
Hubris AKINTUNDE AKINKUNMI / Book Paperback
common.buy 8 441 Ft
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Book Hardback
common.buy 80 154 Ft
Top
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Book Paperback
common.buy 3 942 Ft
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Book Paperback
common.buy 2 570 Ft
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Book Paperback
common.buy 4 978 Ft
The Study of Cases: A Course of Instruction in Reading and Stating Reported Cases, Composing Head-Notes and Briefs, Criticising and Compar Eugene Wambaugh / Book Paperback
common.buy 9 786 Ft
James Martineau, Theologian and Teacher; A Study of his Life and Thought Joseph Estlin Carpenter / Book Hardback
common.buy 15 639 Ft
Historicizing Theories, Identities, and Nations Regna Darnell / Book Paperback
common.buy 16 297 Ft
Fuel Cells and Hydrogen Viktor Hacker / Book Paperback
common.buy 98 381 Ft
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Book Hardback
common.buy 12 779 Ft
catalogue of the Melbourne Public Library for 1861 Anonymus / Book Paperback
common.buy 15 141 Ft
Health in All Policies: Training Manual Health Organization World / Book Paperback
common.buy 24 139 Ft
Gospels as Historical Documents, Part III Vincent Henry Stanton / Book Paperback
common.buy 9 274 Ft
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Book Paperback
common.buy 18 927 Ft
His True North A. M. Kusi / Book Paperback
common.buy 6 309 Ft
Top
Pocket Potters: Professor Dumbledore Paola Escobar / Book Hardback
common.buy 3 375 Ft
My Demon Hunter ASCHER AURORA / Book Paperback
common.buy 6 134 Ft
DARK SOULS REDEMPTION V01 V01 / Book Paperback
common.buy 4 835 Ft
Our Biggest Fight Jr. Frank H. McCourt / E-book Adobe ePub DRM
common.buy 2 643 Ft
Cold Snap Toni Anderson / Book Paperback
common.buy 6 134 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?