※一部利用できない機能があります
Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings
- フォーマット:
- 図書
- 責任表示:
- G.v. Bochmann, D.K. Probst (eds.)
- 言語:
- 英語
- 出版情報:
- Berlin ; New York : Springer-Verlag, c1993
- 形態:
- ix, 422 p. ; 24 cm
- 著者名:
- シリーズ名:
- Lecture notes in computer science ; 663 <BA00009279>
- 書誌ID:
- BA19829380
- ISBN:
- 9780387564968 [0387564969] (: us)
9783540564966 [3540564969] (: gw)