Refinement calculus
a systematic introduction
Ralph-Johan Back
Kirjasarja: Graduate texts in computer science
Ehdotettu tuote
Back Ralph-Johan
Refinement calculus : a systematic introduction
50,00 €
Toimitus Suomeen 6,90 €
Yhteensä 56,90 €
Käytetty - hyvä (K3-)
Sidottu, kuvakannet (kovakantinen)
1998 / 1. painos
Finlandia Kirja
Haetaan tuotteita...
Tiedot
Kustantaja/julkaisija
Springer
Sidosasu
Sidottu, kuvakannet (kovakantinen)
ISBN
0387984178
9780387984179
Kieli
englanti
Alkuperäinen nimi
-
Kirjasarja
Graduate texts in computer science
Tuotekategoriat
-