形式手法入門―ロジックによるソフトウェア設計―
by
中島 震
単行本（ソフトカバー）
details (
USA
).
ISBN: 978-4-274-21188-1
ISBN-10: 4-274-21188-6
オーム社
· 2012
