«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 blanda
Libro Decision Procedures Daniel Kroening
Código Libristo: 20119732
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2018
This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...
? points 95 b
38.89 €
Almacenamiento externo Envío en 10-18 días

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

Clientes que también han comprado

Popular
Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní / Libro Tapa dura
common.buy 36.79 €
Popular
JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI / Libro Tapa blanda
common.buy 13.79 €
Opowiem o tobie gwiazdom Edyta Prusinowska / Libro Tapa blanda
common.buy 10.49 €
Wieso? Weshalb? Warum? junior, Band 54: Was machen wir an Ostern? Susanne Szesny / Libro Tapa blanda
common.buy 11.99 €
Popular
Coloriages mystères Pixar Jérémy Mariez / Libro Tapa blanda
common.buy 21.69 €
Popular
Ganz schön clever! Einzelblock (Spiel-Zubehör) / Artículos de papelería Artículos de papelería
common.buy 6.39 €
Bella Germania Daniel Speck / Libro Tapa blanda
common.buy 13.99 €
Popular
In altre parole Jhumpa Lahiri / Libro Tapa blanda
common.buy 12.69 €
Popular
DaF Kompakt neu Birgit Braun / Libro Tapa blanda
common.buy 37.49 €
Popular
Amokspiel Sebastian Fitzek / Libro Tapa blanda
common.buy 12.99 €
Popular
Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling / Libro Tapa blanda
common.buy 10.09 €

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 blanda
Fecha de publicación 2018
Número de páginas 356
EAN 9783662570654
Código Libristo 20119732
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 580
Dimensiones 233 x 156 x 24

Categorías

Matemáticas y ciencias > Matemáticas > Optimización
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
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

No Time to Play Henry Farley / Libro Tapa blanda
common.buy 16.79 €
Field Sketchbook A6 Inc Peter Pauper Press / Libro Tapa dura
common.buy 8.09 €
Matty Matheson Quentin Bacon / Libro Tapa dura
common.buy 31.99 €
Popular
Komi Can't Communicate, Vol. 8 Tomohito Oda / Libro Tapa blanda
common.buy 8.89 €
Popular
Lonely Planet Epic Bike Rides of Europe Lonely Planet / Libro Tapa dura
common.buy 28.49 €
A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert / Libro Tapa dura
common.buy 34.79 €
RF Electronics for Electronic Warfare Richard A. Poisel / Libro Tapa dura
common.buy 153.49 €
Popular
Opening the Akashic Records Maureen J. St Germain / Libro Tapa blanda
common.buy 13.49 €
Are You Listening? Tillie Walden / Libro Tapa dura
common.buy 29.69 €
Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle / Libro Tapa blanda
common.buy 15.79 €
It Was Always You Lorhainne Eckhart / Libro Tapa blanda
common.buy 9.79 €
DESTINED FOR GREATNESS TESTA MAGGIE / Libro Tapa blanda
common.buy 6.99 €
Click and Boing: Almost go to the zoo Liam Lynch / Libro Tapa blanda
common.buy 17.29 €
Explore Brazil: 12 Key Facts Todd Kortemeier / Libro Tapa blanda
common.buy 12.69 €
God, Science, and Religious Diversity Robert T Lehe / Libro Tapa blanda
common.buy 21.99 €
Bio-based Materials for Food Packaging Shakeel Ahmed / Libro Tapa dura
common.buy 202.89 €
First Book of Jewish Jokes Elliott Oring / Libro Tapa dura
common.buy 77.29 €
Buckingham Palace Ashley Hicks / Libro Tapa dura
common.buy 51.19 €
Popular
Short Stories in French for Beginners Olly Richards / Libro Tapa blanda
common.buy 11.99 €
Jungle Book Kipling / Libro Tapa dura
common.buy 10.99 €
Rise and Divine Lana Harper / Libro Tapa blanda
common.buy 11.69 €
Murach's MySQL (4th Edition) Joel Murach / Libro Tapa blanda
common.buy 47.09 €
Popular
Peerless (Novel) Vol. 1 Meng Xi Shi / Libro Tapa blanda
common.buy 15.89 €
Narcoball David Arrowsmith / Libro Tapa dura
common.buy 22.79 €

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?