I dag får du fri fragt på mere end 15 mio. bøger

Du er her:
Bog, hardback Decision Procedures : An Algorithmic Point of View af Ofer Strichman, Daniel Kroening

Decision Procedures : An Algorithmic Point of View

(Bog, hardback)

Kunder (0 anmeldelser)


Produktdetaljer:

Sprog:
Engelsk
ISBN-13:
9783662504963
Sideantal:
380
Udgivet:
01-01-2017
Vis mere

Sæt bog på liste

  • Bogliste

 
kr. 649,95
Leveringstid
5-7 hverdage
Leveres senest
06-07-2017
-23%

kr. 498,35
Din studiepris
Fragt
Gratis




Kundernes boganmeldelser af Decision Procedures : An Algorithmic Point of View

Anmeld bogen og vær med i konkurrencen om gavekort – læs mere her.

Der er ingen anmeldelser af Decision Procedures : An Algorithmic Point of View

for at skrive en anmeldelse.

Bogens kategori:

Din personlige bogassistent

Han følger dig rundt og finder nye anbefalinger, baseret på de bøger du kigger på.

Skjul bogassistenten

Få løbende anbefalinger fra din personlige bogassistent, mens du kigger rundt her på siden.