The foundations of program verification
- フォーマット:
- 図書
- 責任表示:
- Jacques Loeckx and Kurt Sieber ; in collaboration with Ryan D. Stansifer
- 言語:
- 英語
- 出版情報:
- Stuttgart [Germany] : B.G. Teubner
Chichester; New York : Wiley, c1984 - 形態:
- ix, 230 p. ; 24 cm
- 著者名:
- シリーズ名:
- Wiley-Teubner series in computer science <BA00044644>
- 書誌ID:
- BA00044633
- ISBN:
- 9780471903239 [047190323X] (Wiley)
9783519021018 [3519021013] (Teubner)
類似資料:
Cambridge University Press |
Springer-Verlag |
Van Nostrand Reinhold Co. |
Garland Pub. |
Prentice-Hall |
Academic Press |
Garland Pub. | |
Springer-Verlag |
Winthrop Publishers |
Springer-Verlag |
Springer-Verlag |