Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
著者
書誌事項
Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990
（DIMACS series in discrete mathematics and theoretical computer science, v. 3）
American Mathematical Society , Association for Computing Machinery, c1991
- : AMS
- : ACM
大学図書館所蔵 件 / 全17件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"The DIMACS Workshop on Computer-Aided Verification was held at the Center for Discrete Mathematics and Theoretical Computer Science on June 18-21, 1990"--T.p. verso
Includes bibliographical references