«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.

Decision Procedures

An Algorithmic Point of View

Idioma InglésInglés
Libro Tapa dura
Libro Decision Procedures Daniel Kroening
Código Libristo: 02981250
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2017
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 130 b
53.09 €
Almacenamiento externo Envío en 10-18 días

Política de devolución de 30 días

Clientes que también han comprado

Talsperrenstatik Othmar J. Rescher / Libro Tapa blanda
common.buy 58.09 €
עץ חיים שער ו פרק א - Sefer Etz Chaim Gate 06 Chapter 01 Chaim Vital Ha'ari / Libro Tapa blanda
common.buy 17.09 €
Nasze kolorowe pojazdy na sygnale Opracowanie zbiorowe / Libro Tapa blanda
common.buy 0.69 €
Popular
12 supermocy. Polscy autorzy o tym, jak budować poczucie własnej wartości Opracowanie zbiorowe / Libro Tapa dura
common.buy 10.19 €
Gift from the Trees Mammal Hands Audio Vinilo de audio
common.buy 33.89 €
Meie keelesild. Viron kielen oppikirja Viive Taro / Libro Tapa blanda
common.buy 69.59 €
Prolongations François-Guillaume Lorrain / Libro Tapa blanda
common.buy 19.79 €
Mémoire et cuisine des Pieds-noirs - la nostalgérie Ehrohlt Libro Tapa blanda
common.buy 26.69 €
Das kleine WIR im Kindergarten Daniela Kunkel / Libro Tapa dura
common.buy 14.19 €
Ordnung im Mund macht gesund Irmgard Simma-Kletschka / Libro Tapa blanda
common.buy 27.69 €
Ukulele Melody-Chord-Concept Patrick Steinbach / Libro Tapa blanda
common.buy 20.79 €
Basiswissen Mathematik auf Arabisch und Deutsch - اساسيات في الرياضيات باللغتين العربية والالمانية Moritz Weber / Libro Tapa blanda
common.buy 26.89 €
Puedo soñar contigo BLUE JEANS / Libro Tapa dura
common.buy 11.19 €
Sulla strada di Bob Dylan. Memorie dal Greenwich Village Suze Rotolo / Libro Tapa blanda
common.buy 26.69 €
Biblia Para Ninos Epoca Editorial / Libro Tapa blanda
common.buy 6.69 €
Diferencia de la filosofía de la naturaleza en Demócrito y en Epicuro y otros escritos Karl Marx / Libro Tapa blanda
common.buy 18.29 €
Hafenmanöver Schritt für Schritt Lars Bolle / Libro Tapa blanda
common.buy 23.89 €

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH Zurich and at the Technion, Haifa. The authors focus on theories that are expressive enough to model real problems, but are still decidable.§

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 Decision Procedures
Autor Daniel Kroening, Ofer Strichman
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2017
Número de páginas 356
EAN 9783662504963
ISBN 3662504960
Código Libristo 02981250
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 722
Dimensiones 165 x 244 x 26

Categorías

Matemáticas y ciencias > Matemáticas > Optimización
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Sistemas operativos
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

Translation in Modern Japan Indra Levy / Libro Tapa blanda
common.buy 85.09 €
Aromatherapy for Health Professionals Revised Reprint Len Price / Libro Tapa blanda
common.buy 63.59 €
Popular
Indestructibles: Hello, Farm! Amy Pixton / Libro Tapa blanda
common.buy 5.79 €
Anthony Bourdain's Hungry Ghosts Anthony Bourdain / Libro Tapa dura
common.buy 16.49 €
What is to be done? Vladimir Ilyich Lenin / Libro Tapa blanda
common.buy 13.49 €
Research Design and Statistical Analysis Caren M. Rotello / Libro Tapa dura
common.buy 215.89 €
Popular
Hero of Ages Brandon Sanderson / Libro Tapa blanda
common.buy 10.19 €
Hey, Kitty Kitty! Brenda Ponnay / Libro Tapa blanda
common.buy 14.59 €
Popular
William Shakespeare: Famous Loving Words Insight Editions / Libro Tapa dura
common.buy 10.49 €
Americans and Germans in Bastogne Gary Sterne / Libro Tapa dura
common.buy 29.79 €
Gedichte Gustav Schwab / Libro Tapa blanda
common.buy 31.79 €
Kuniyoshi Matthi Forrer / Libro Tapa dura
common.buy 124.29 €
Homecoming Colin Grant / Libro Tapa blanda
common.buy 14.99 €
Gurdjieff and the Fourth Way Grant / Libro Tapa dura
common.buy 24.59 €
Popular
Lost & Found: Based on a True Story / Libro Tapa dura
common.buy 15.79 €
Netter's Physiology Coloring Book Susan Mulroney / Libro Tapa blanda
common.buy 22.99 €
Popular
ketoCONTINUUM Consistently Keto For Life Annette Bosworth / Libro Tapa blanda
common.buy 24.89 €
Popular
Anatomy for Artists: Drawing Form & Pose (TBC) Publishing / Libro Tapa blanda
common.buy 41.19 €
Skate Park Plans Alan Brown / Libro Tapa blanda
common.buy 8.69 €
Hamilton by Lin-Manuel Miranda SHEILA LISCHWE / Libro Tapa blanda
common.buy 16.49 €
Poetic Spanking Anthony Toomer / Libro Tapa dura
common.buy 33.29 €
Aberdeen European Nights ALLY BEGG / Libro Tapa dura
common.buy 21.99 €
Basic and Clinical Pharmacology 16th Edition Vanderah / Libro Tapa blanda
common.buy 82.99 €
Popular
The Complete Guide to Flags of the World, 4th Edition Clive Carpenter / Libro Tapa blanda
common.buy 14.99 €

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?