Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

phone

Contatto

phone

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

0

Spedizione gratuita per ordini superiori a 69,99 euro.

Libro Decision Procedures Daniel Kroening

Decision Procedures

An Algorithmic Point of View

Daniel Kroening

Lingua

Inglese

Libro In brossura

Libro Decision Procedures Daniel Kroening

Codice Libristo: 20119732

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2018

This textbook on decision procedure has been used to teach undergraduate and graduate courses at ETH...

Codice Libristo: 20119732

?

points

93 b

38.19 €

Magazzino esterno Inviamo tra 10-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Ruční palné zbraně - 89 legendárních i zapomenutých konstrukcí Autor Fiktivní

/

Rigido

35.99 €

JOJOLION 1 - JOJO'S BIZARRE ADVENTURES PART8 (MANGA VO JAPONAIS) ARAKI

/

In brossura

25.89 €

Coloriages mystères Pixar Jérémy Mariez

/

In brossura

22.09 €

Ganz schön clever! Einzelblock (Spiel-Zubehör)

/

Articoli di cancelleria

6.59 €

Bella Germania Daniel Speck

/

In brossura

12.49 €

In altre parole Jhumpa Lahiri

/

In brossura

19.69 €

DaF Kompakt neu Birgit Braun

/

In brossura

35.79 €

Harry Potter und der Stein der Weisen (Harry Potter 1) Joanne Kathleen Rowling

/

In brossura

9.59 €

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.

Attrice & Poliglotta

EWA KASP per

Riproduci video

Ewa Kasp

Ewa Kasp

Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Decision Procedures

Autore Daniel Kroening, Ofer Strichman

Lingua

Inglese

Rilegatura Libro - In brossura

Data di pubblicazione 2018

Numero di pagine 356

EAN 9783662570654

Codice Libristo 20119732

Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Peso 580

Dimensioni 233 x 156 x 24

Categorie

Matematica e Scienze > Matematica > Ottimizzazione

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori

Regala questo libro oggi stesso

È facile

1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Are You Listening? Tillie Walden

/

Rigido

28.99 €

Family Consecration to Jesus Through Mary: 33-Days of Preparation with Saint Louis Marie de Montfort Donna-Maria Cooper O'Boyle

/

In brossura

15.79 €

No Time to Play Henry Farley

/

In brossura

16.79 €

Field Sketchbook A6 Inc Peter Pauper Press

/

Rigido

8.09 €

Matty Matheson Quentin Bacon

/

Rigido

31.99 €

Komi Can't Communicate, Vol. 8 Tomohito Oda

/

In brossura

9.19 €

Lonely Planet Epic Bike Rides of Europe Lonely Planet

/

Rigido

26.79 €

A Narrative of the Principal Events of the Campaigns of 1809, 1810 and 1811 in Spain and Portugal William Stothert

/

Rigido

34.79 €

RF Electronics for Electronic Warfare Richard A. Poisel

/

Rigido

146.19 €

SOLA BUSCA TAROT

/

Mappa

50.79 €

Opening the Akashic Records Maureen J. St Germain

/

In brossura

13.49 €

It Was Always You Lorhainne Eckhart

/

In brossura

9.79 €

Great Expectations Charles Dickens

/

Rigido

16.59 €

Click and Boing: Almost go to the zoo Liam Lynch

/

In brossura

17.29 €

Explore Brazil: 12 Key Facts Todd Kortemeier

/

In brossura

12.09 €

God, Science, and Religious Diversity Robert T Lehe

/

In brossura

21.99 €

Bio-based Materials for Food Packaging Shakeel Ahmed

/

Rigido

192.99 €

First Book of Jewish Jokes Elliott Oring

/

Rigido

77.29 €

Buckingham Palace Ashley Hicks

/

Rigido

49.89 €

Short Stories in French for Beginners Olly Richards

/

In brossura

12.69 €

Snow Balls: A Pretending-to-Be-Macho MM Romance Tara Lain

/

In brossura

10.99 €

Rise and Divine Lana Harper

/

In brossura

11.39 €

Data Analytics and Artificial Intelligence for Earth Resource Management Deepak Kumar

/

In brossura

168.89 €

Narcoball David Arrowsmith

/

Rigido

22.79 €

Consulente di libri Libroamiko

Ciao, sono Libroamiko, posso aiutarti?