Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

>> Amazon.co.jp

このページのQRコード

Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990

種類:

図書

責任表示:

E.M. Clarke, R.P. Kurshan, editors

出版情報:

Providence, RI : American Mathematical Society
Baltimore, Md. : Association for Computing Machinery, c1991

著者名:

シリーズ名:

DIMACS series in discrete mathematics and theoretical computer science ; v. 3 <BA12282377>

ISBN:

9780821865941 [0821865943] (: AMS)

9780897913867 [0897913868] (: ACM)

注記:

"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

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Computer-aided design--Congresses; Digital integrated circuits--Design and construction--Data processing--Congresses
分類・件名:	LCC : TK7874 DDC : 621.381/5 LCSH : Digital integrated circuits -- Design and construction -- Data processing -- Congresses LCSH : Computer-aided design -- Congresses
LCCN:	91008815
TTLL:	eng
言語:	英語
形態:	xii, 628 p. : ill. ; 27 cm
書誌ID:	BA13087672

内容紹介

目次情報

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings Clarke, E. M., Workshop on Computer-Aided Verification Springer-Verlag	7 図書 Computer aided systems theory - EUROCAST '95 : a selection of papers from the fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, … International Workshop on Computer Aided Systems Theory, Pichler, Franz, Ing., Dr. phil, Moreno-Díaz, Roberto, 1939-, … Springer-Verlag
2 電子ブック Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service) Springer-Verlag	8 図書 Computer aided design in civil engineering : proceedings of a symposium Kostem, Celal N., Shephard, M. S. (Mark S.), American Society of Civil Engineers. Technical Council on Computer … The Society
3 電子ブック Computer-Aided Verification : 2nd Internatonal Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990. Proceedings Clarke, Edmund M., Kurshan, Robert P., SpringerLink (Online service) Springer Berlin Heidelberg : Imprint: Springer	9 図書 Computer aided systems theory--EUROCAST '91 : a selection of papers from the Second International Workshop on Computer Aided Systems Theory, Krems, Austria, … International Workshop EUROCAST, Pichler, Franz, Ing., Dr. phil, Moreno-Díaz, Roberto, 1939- Springer-Verlag
4 図書 Formal methods in computer aided design : second internaitonal conference, FMCAD '98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings FMCAD '98, Gopalakrishnan, Ganesh, Windley, Phillip J., 1958- Springer	10 図書 DIMACS series in discrete mathematics and theoretical computer science American Mathematical Society, Association for Computing Machinery
5 図書 Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings FMCAD (Conference), Hunt, Warren A., 1958-, Johnson, Steven D. (Steven Dexter) Springer	11 図書 Computer aided systems theory - EUROCAST 2001 : a selection of papers from the 8th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran … International Workshop on Computer Aided Systems Theory, Moreno, Roberto Diaz, Buchberger, Bruno, Freire, Jose-Luis Springer
6 図書 Computer-aided verification of coordinating processes : the automata-theoretic approach Kurshan, R. P., 1943- Princeton University Press	12 図書 Sensitivity of functionals with applications to engineering sciences : proceedings of a special session of the American Mathematical Society Spring Meeting held … American Mathematical Society. Meeting, Komkov, Vadim, 1919- Springer-Verlag