JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Ralph-Johan Back : Refinement calculus : a systematic introduction

Name: Ralph-Johan Back : Refinement calculus : a systematic introduction
SKU: P-REFI-4EC32A
Price: 50 EUR
Availability: InStock

50,00 €

Varastossa

Vain %1 jäljellä

SKU

P-REFI-4EC32A

Katso kaikki vaihtoehdot

Lisätietoja
Tuoteryhmä	Tietokirjallisuus > Tekniikka, tietotekniikka, koneet Tekniikka, tietotekniikka, koneet > Tietotekniikka, mediatekniikka, koneohjelmat
Tekijä	Ralph-Johan Back
Teoksen nimi	Refinement calculus : a systematic introduction
SKU	P-REFI-4EC32A
Avainsanat	tietojenkäsittely, logiikka, ohjelmointi, matemaattinen logiikka, teoreettinen tutkimus

☎ 040 541 9287 (arkisin klo 8-15)