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

In stock

Only %1 left

SKU

P-REFI-4EC32A

See all options

More Information
Categories	Nonfiction > Technology, Information technology, Machinery Technology, Information technology, Machinery > Information & media technology, Computing
Author	Ralph-Johan Back
Title	Refinement calculus : a systematic introduction
SKU	P-REFI-4EC32A
Keywords	tietojenkäsittely, logiikka, ohjelmointi, matemaattinen logiikka, teoreettinen tutkimus

☎ +358 40 541 9287 (weekdays from 8:00 to 15:00)