Refinement calculus: a systematic introduction
Auteur :
Back, Ralph-Johan
Éditeur :
Back, Ralph-JohanWright, Joakim,
ISBN :
9780387984179
Date de publication :
13 avr. 1998
Dimensions :
23,4 x 15,6 x 2,7 cm
Poids :
749 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
USA