Refinement calculus : a systematic introduction
Ralph-Johan Back, Joakim von Wright
Bok Engelsk 1998
Utgitt | New York : Springer , c1998
|
---|---|
Omfang | XV, 519 s. : ill.
|
Emner | |
ISBN | 0387984178
|
Utgitt | New York : Springer , c1998
|
---|---|
Omfang | XV, 519 s. : ill.
|
Emner | |
ISBN | 0387984178
|