«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Idioma InglésInglés
Libro Tapa dura
Libro Computational Logic and Set Theory Jacob T. Schwartz
Código Libristo: 01400064
Editores Springer London Ltd, julio 2011
As computer software becomes more complex, the question of how its correctness can be assured grows... Descripción completa
? points 136 b
55.49 €
Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Ocupación terapéutica en pacientes crónicos Mora Ródenas / Libro Tapa blanda
common.buy 24.59 €
Faktomania. 300 list dla maniaków wiedzy Pettie Andrew / Libro Tapa dura
common.buy 39.09 €
libro che fa musica! / Libro Libro de concertinas
common.buy 23.49 €
Babiččina bezlepková dieta Kristína Pleskačová / Libro Hoja
common.buy 9.59 €
BZ 4 IDIOT Fyodor Mikhailovich Dostoyevsky / Libro Tapa blanda
common.buy 29.69 €
Der Balkan: Mission Possible Maria Todorova / Libro Tapa blanda
common.buy 32.29 €
Rechtsstellung Des Evangelischen Religionslehrers in Der Oeffentlichen Schule Am Beispiel Der Evangelischen Landeskirche in Baden Stefanie Becker / Libro Tapa blanda
common.buy 108.89 €
Rico, rico y con fundamento Arguiñano / Libro Tapa blanda
common.buy 24.29 €
THIMBLE THEATRE SELECCION DE PLANCHAS DOMINICALES 1925 1930 E C SEGAR / Libro Libro
common.buy 69.09 €
Oeuvres Poetiques de Andre de Chenier, Avec Une Notice Et Des Notes, (Ed.1899) Andre Chenier / Libro Tapa blanda
common.buy 28.19 €
Kdo to ví, odpoví! Sluneční soustava / Libro binding.
common.buy 6.29 €
Černý Petr: Auta / Artículos impresos Tarjetas
common.buy 1.59 €
Discours de la methode pour bien conduire sa raison et chercher la verite (Ed.1894) René Descartes / Libro Tapa blanda
common.buy 17.89 €
Le grand livre de la F1 Jean-Louis Moncet / Libro Tapa blanda
common.buy 53.29 €
Kleopatra Paul Heyse / Libro Tapa dura
common.buy 24.69 €
Slávna 5 vo víre dobrodružstiev Enid Blyton / Libro Tapa blanda
common.buy 9.59 €
A, B, C, Francais, Ou Principes de Lecture Pour La Jeunesse Sans Auteur / Libro Tapa blanda
common.buy 14.19 €
Técnico de Cocina (Personal Laboral). Comunidad de Madrid. Temario general. Vol. / Libro Tapa blanda
common.buy 45.09 €
Písanka 1 – Uvolňovací cviky neuvedený autor / Libro Tapa blanda
common.buy 1.69 €
Fehleranalyse ALS Methode Der Ged chtnisforschung Günther Kebeck / Libro Tapa blanda
common.buy 58.09 €
Guardo la voz, cedo la palabra : conversaciones con Gonzalo Torrente Ballester Carmen Becerra / Libro Tapa blanda
common.buy 12.69 €
MDI - Mes cahiers d'écriture MS - Prélude ISABELLE GODEFROY / Libro Tapa blanda
common.buy 8.69 €
Let's Go To Outer Space Gary Wilson / Audio CD de audio
common.buy 16.09 €
Minisode 1: Blue Hour (Deluxe Boxset) TOMORROW X TOGETHER / Audio CD de audio
common.buy 41.39 €

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

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Computational Logic and Set Theory
Autor Jacob T. Schwartz, Domenico Cantone, Eugenio Omodeo
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2011
Número de páginas 416
EAN 9780857298072
ISBN 0857298070
Código Libristo 01400064
Editores Springer London Ltd
Peso 824
Dimensiones 166 x 243 x 30

Categorías

Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Making Dollars & Sense Work: A Financial Primer for Single Moms & Dads Plus College Kids Too! Rochelle Campbell / Libro Tapa blanda
common.buy 6.99 €
James Martineau, Theologian and Teacher; A Study of his Life and Thought Joseph Estlin Carpenter / Libro Tapa dura
common.buy 42.59 €
Souls & Salvation: The Vampire and Angel Wars Book 3 G. K. DeRosa / Libro Tapa blanda
common.buy 15.59 €
A Big Little Butterfly Hug Dominic Burkhalter / Libro Tapa blanda
common.buy 9.89 €
Raw Materials And International Control H.R.G. Greaves / Libro Tapa blanda
common.buy 57.29 €
Return to Dyatlov Pass J H Moncrieff / Libro Tapa blanda
common.buy 10.69 €
Hubris AKINTUNDE AKINKUNMI / Libro Tapa blanda
common.buy 22.99 €
Assessing the Presidency of Ma Ying-jiu in Taiwan Andre Beckershoff / Libro Tapa dura
common.buy 253.49 €
A Woman's Inspiration: A book of poems to inspire women MS Marlo Miller / Libro Tapa blanda
common.buy 16.39 €
MY Life And Work: The Autobiography Of Henry Ford Henry Ford / Libro Tapa blanda
common.buy 10.69 €
Data Visualization with Python for Beginners AI Publishing / Libro Tapa blanda
common.buy 24.79 €
Warmongers Unmasked: History of Cold War in Germany Wilfred Burchett / Libro Tapa blanda
common.buy 13.59 €
The Study of Cases: A Course of Instruction in Reading and Stating Reported Cases, Composing Head-Notes and Briefs, Criticising and Compar Eugene Wambaugh / Libro Tapa blanda
common.buy 26.39 €
Center of the Cyclone: An Autobiography of Inner Space Dr John C Lilly / Libro Tapa blanda
common.buy 20.09 €
Under a Mexican Moon Taylor Clark / Libro Tapa blanda
common.buy 10.69 €
Fuel Cells and Hydrogen Viktor Hacker / Libro Tapa blanda
common.buy 268.99 €
ENGLISH FOR FOREIGNERS, VOLUME 2 SARA REDEMP O'BRIEN / Libro Tapa dura
common.buy 34.79 €
catalogue of the Melbourne Public Library for 1861 Anonymus / Libro Tapa blanda
common.buy 43.29 €
Health in All Policies: Training Manual Health Organization World / Libro Tapa blanda
common.buy 65.89 €
FreeCAD for architectural drawing: Create technical drawings with a free and open-source CAD Allan Brito / Libro Tapa blanda
common.buy 24.69 €
Echoes of a Forbidden Heart Jane Brown / Libro Tapa blanda
common.buy 13.59 €
Popular
Pocket Potters: Professor Dumbledore Paola Escobar / Libro Tapa dura
common.buy 11.39 €
Popular
The Emperor of All Maladies MUKHERJEE SIDDHARTHA / Libro Tapa blanda
common.buy 18.89 €
My Demon Hunter ASCHER AURORA / Libro Tapa blanda
common.buy 16.49 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?