« 前にもどる

国立国会図書館サーチで見る

近くの図書館から探してみよう

カーリルは全国の図書館から本を検索できるサービスです

この本を図書館から検索する

Program correctness over abstract data types, with error-state semantics

Tucker, J. V. (John V.),Zucker, J. I.,J.V. Tucker, J.I. Zucker

読みたいリスト

読みたい読んだ

もっともっと探す

+もっと

の図書館をまとめて探す

CiNii Booksで大学図書館の所蔵を調べる

詳しい情報

出版社: North-Holland(1988)

ISBN-10: 0444703403 ISBN-13: 9780444703408