The foundations of program verification /

Saved in:
書目詳細資料
主要作者: Loeckx, Jacques, 1931-
其他作者: Sieber, Kurt, Stansifer, Ryan D.
格式: 圖書
語言:English
出版: Stuttgart [Germany] : Chichester ; New York : B.G. Teubner ; Wiley, c1984.
叢編:Wiley-Teubner series in computer science
主題:

CARM 1 Store

持有資料詳情 CARM 1 Store
索引號: A2:AG36F0 C02746
復印件 1 可用  預訂