中古あり ¥14,499より
(2025/12/30 14:16:54時点)
The Foundations of Program Verification (Wiley Teubner on Applicable Theory in Computer Science)
お気に入り図書館の蔵書
設定詳しい情報
出版社: Wiley(1987-03-11)
ハードカバー: 240 ページ / 15.6 x 2.2 x 23.6 cm
ISBN-10: 0471912824 ISBN-13: 9780471912828