The Correctness problem in computer science
- フォーマット:
- 図書
- 責任表示:
- edited by R.S. Boyer and J. Strother Moore
- 言語:
- 英語
- 出版情報:
- London ; New York : Academic Press, 1981
- 形態:
- xiii, 279 p. : ill. ; 24 cm
- 著者名:
- シリーズ名:
- International lecture series in computer science <BA00662155>
- 書誌ID:
- BA03091651
- ISBN:
- 9780121229207 [0121229203]
類似資料:
Academic Press |
Kluwer Academic Publishers Group |
Prentice-Hall International |
Science Press, Kluwer Academic Publishers |
American Society for Metals | |
Dorsey Press : R.D. Irwin |
McGraw-Hill |
Springer |
Tavistock Publications |
Springer-Verlag |