中古あり ￥1,437より
(2026/01/21 09:30:41時点)
Understanding Z: A Specification Language and its Formal Semantics (Cambridge Tracts in Theoretical Computer Science, Series Number 3)
詳しい情報
出版社: Cambridge University Press(1988-03-31)
ハードカバー: 144 ページ / 18.4 x 1.3 x 26.0 cm
ISBN-10: 0521334292 ISBN-13: 9780521334297