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 426 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 034 Ft
Le grand livre de la F1 Jean-Louis Moncet / Book Paperback
common.buy 18 842 Ft
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Book Hardback
common.buy 13 706 Ft
Kdo to ví, odpoví! Sluneční soustava / Book binding.
common.buy 2 145 Ft
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Book Paperback
common.buy 9 531 Ft
Černý Petr: Auta / Printed items Cards
common.buy 571 Ft
libro che fa musica! / Book Board book
common.buy 8 229 Ft
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Book Paperback
common.buy 16 564 Ft
Der Balkan: Mission Possible Maria Todorova / Book Paperback
common.buy 10 392 Ft
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Book Paperback
common.buy 3 166 Ft
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Book Paperback
common.buy 10 696 Ft
Babiččina bezlepková dieta Kristína Pleskačová / Book Sheet
common.buy 3 180 Ft
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Book Paperback
common.buy 6 641 Ft
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Book Paperback
common.buy 36 602 Ft
Rico, rico y con fundamento Arguiñano / Book Paperback
common.buy 8 901 Ft
Legendes Du Moyen Age 3e Edition Paris-G / Book Paperback
common.buy 9 559 Ft
Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck / Book Paperback
common.buy 20 361 Ft
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Book Paperback
common.buy 5 196 Ft
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Book Paperback
common.buy 4 657 Ft
Let's Go To Outer Space Gary Wilson / Audio Audio CD
common.buy 5 647 Ft
Credit retrouve, par un pauvre, decembre 1848 / Book Paperback
common.buy 6 291 Ft
CRIMEN ANTHOLOGIE DE LA NOUVELLE NOIRE ET POLICIERE D AMERIQUE PONCE / Book Paperback
common.buy 8 933 Ft
Slávna 5 vo víre dobrodružstiev Enid Blyton / Book Paperback
common.buy 3 166 Ft
Kleopatra Paul Heyse / Book Hardback
common.buy 8 638 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 926 Ft
A Big Little Butterfly Hug Dominic Burkhalter / Book Paperback
common.buy 3 650 Ft
Raw Materials And International Control H.R.G. Greaves / Book Paperback
common.buy 19 818 Ft
Return to Dyatlov Pass J H Moncrieff / Book Paperback
common.buy 3 940 Ft
Hubris AKINTUNDE AKINKUNMI / Book Paperback
common.buy 8 436 Ft
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Book Hardback
common.buy 80 108 Ft
Top
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Book Paperback
common.buy 3 940 Ft
Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Book Paperback
common.buy 2 568 Ft
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Book Paperback
common.buy 4 975 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 780 Ft
James Martineau, Theologian and Teacher; A Study of his Life and Thought Joseph Estlin Carpenter / Book Hardback
common.buy 15 629 Ft
Historicizing Theories, Identities, and Nations Regna Darnell / Book Paperback
common.buy 16 288 Ft
Fuel Cells and Hydrogen Viktor Hacker / Book Paperback
common.buy 98 324 Ft
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Book Hardback
common.buy 12 771 Ft
catalogue of the Melbourne Public Library for 1861 Anonymus / Book Paperback
common.buy 15 132 Ft
Health in All Policies: Training Manual Health Organization World / Book Paperback
common.buy 24 125 Ft
Gospels as Historical Documents, Part III Vincent Henry Stanton / Book Paperback
common.buy 9 269 Ft
Interdependent Transportation Project Programming under Uncertainty Zhou Bei / Book Paperback
common.buy 18 915 Ft
His True North A. M. Kusi / Book Paperback
common.buy 6 305 Ft
Top
Pocket Potters: Professor Dumbledore Paola Escobar / Book Hardback
common.buy 3 373 Ft
My Demon Hunter ASCHER AURORA / Book Paperback
common.buy 6 130 Ft
DARK SOULS REDEMPTION V01 V01 / Book Paperback
common.buy 4 832 Ft
Our Biggest Fight Jr. Frank H. McCourt / E-book Adobe ePub DRM
common.buy 2 642 Ft
Cold Snap Toni Anderson / Book Paperback
common.buy 6 130 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?