Udvidet returret til 31. januar 2017

Du er her:
Bog, hardback Decision Procedures af Ofer Strichman, Daniel Kroening

Decision Procedures (Texts in Theoretical Computer Science an Eatcs)

- An Algorithmic Point of View (2016)

(Bog, hardback)


Produktdetaljer:

Sprog:
Engelsk
ISBN-13:
9783662504963
Udgivet:
29-12-2016
Udgave:
2
Vis mere

Sæt bog på liste

  • Bogliste

 
kr. 979,95
Forventes udgivet
29-12-2016
Leveringstid
2-5 hverdage
Leveres senest
16-12-2016
-25%

kr. 725,40
Din studiepris
Fragt
Gratis




Kundernes boganmeldelser af Decision Procedures (Texts in Theoretical Computer Science an Eatcs)

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

Der er ingen anmeldelser af Decision Procedures (Texts in Theoretical Computer Science an Eatcs)

for at skrive en anmeldelse.

Se andre bøger, der handler om:

Bogens kategori: