 |
|
 |
|
| 書名 | The foundations of program verification |
|---|---|
| 著作者等 |
Loeckx, Jacques Sieber, Kurt Stansifer, Ryan D. |
| シリーズ名 |
Wiley-Teubner series in computer science |
| 巻冊次 |
Wiley Teubner |
| 出版元 | B.G. Teubner;Wiley |
| 刊行年月 | c1984 |
| ページ数 | ix, 230 p. |
| 大きさ | 24 cm |
| ISBN |
3519021013 047190323X |
| NCID |
BA00044633 ※クリックでCiNii Booksを表示 |
| 言語 | 英語 |
| 出版国 | ドイツ |
