Program Verification: Fundamental Issues in Computer Science (Studies in Cognitive Systems, 14)

出版社: Springer(1993-01-31)

ハードカバー: 471 ページ / 16.5 x 2.5 x 23.5 cm

ISBN-10: 0792319656  ISBN-13: 9780792319658