---

＜図書＞
Refinement calculus : a systematic introduction / Ralph-Johan Back, Joakim von Wright
(Graduate texts in computer science)

出版者	New York : Springer
出版年	c1998
本文言語	英語
大きさ	xv, 519 p. ; ill. ; 25 cm
著者標目	Back, Ralph-Johan Wright, J. (Joakim) von, 1955-
件　名	Electronic digital computers -- Programming  全ての件名で検索 Calculus Computer logic
一般注記	Includes bibliographical references (p. [501]-508) and index

 類似資料