Electronic digital computers -- Evaluation -- Congresses
Books
1992 ACM SIGMETRICS and PERFORMANCE '92: International Conference on Measurement and Modeling of Computer Systems, June 1-5, 1992, Newport, Rhode Island, U. S. A.; proceedings
Publisher: ACM Press
ISBN10: 0897915089
ISBN13: 9780897915083
Edition: (series hard cover)
1993 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, May 10-14, 1993, Santa Clara, California, USA: proceedings
Publisher: Association for Computing Machinery
ISBN10: 0897915801
ISBN13: 9780897915809
Computer aided verification: 6th international conference, CAV '94, Stanford, California, USA, June 21-23, 1994: proceedings
Publisher: Springer-Verlag
ISBN10: 3540581790
ISBN13: 9783540581796
DDC: 004.2/4/015113
LCC: QA76.76