SUPER KAINŲ lentynos! Nuo -20% iki -80% pigiau! Naršykite ČIA >>

0 Mėgstami
0Krepšelis

Data Refinement: Model-Oriented Proof Methods and Their Comparison

-22% su kodu: BOOKS
110,77 
Įprasta kaina: 142,01 
-22% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-30
-22% su kodu: BOOKS
110,77 
Įprasta kaina: 142,01 
-22% su kodu: BOOKS
Kupono kodas: BOOKS
Akcija baigiasi: 2025-03-30
-22% su kodu: BOOKS
2025-03-31 110.77 InStock
Nemokamas pristatymas į paštomatus per 11-15 darbo dienų užsakymams nuo 20,00 

Knygos aprašymas

Graduate text in formal methods in computer science.

Informacija

Autorius: Willem-Paul de Roever, Kai Engelhardt,
Leidėjas: Cambridge University Press
Išleidimo metai: 2008
Knygos puslapių skaičius: 436
ISBN-10: 0521103509
ISBN-13: 9780521103503
Formatas: 229 x 152 x 26 mm. Knyga minkštu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Data Refinement: Model-Oriented Proof Methods and Their Comparison“

Būtina įvertinti prekę

Goodreads reviews for „Data Refinement: Model-Oriented Proof Methods and Their Comparison“