Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

>> Google Books

QRコード(所蔵情報)

Computer aided verification : 5th International Conference, CAV '93, Elounda, Greece, June 28-July 1, 1993 : proceedings

フォーマット:

図書

責任表示:

Costas Courcoubetis (ed.)

言語:

英語

出版情報:

Berlin ; Tokyo : Springer-Verlag, c1993

形態:

ix, 504 p. : ill. ; 24 cm

著者名:

シリーズ名:

Lecture notes in computer science ; 697 <BA00009279>

書誌ID:

BA20594397

ISBN:

9783540569220 [3540569227] (: gw)

9780387569222 [0387569227] (: us)

子書誌情報

所蔵情報

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

詳細

主題:	Computer software--Verification--Congresses; Electronic digital computers--Evaluation--Congresses
分類・件名:	LCC : QA76.76.E93 LCC : QA76.76.V47 DDC : 511.3/0285 NDC8 : 007.63 NDC8 : 549.7 LCSH : Computer software -- Verification -- Congresses LCSH : Electronic digital computers -- Evaluation -- Congresses
注記:	Includes bibliographical references
登録日:	2015-02-17

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings CAV (Conference), Bochmann, Gregor Von., 1941-, Probst, David Karl Springer-Verlag	7 図書 Computer analysis of images and patterns : 5th International Conference, CAIP '93, Budapest, Hungary, September 13-15, 1993 : proceedings International Conference on Automatic Image Processing, Csetverikov, Dmitrij, Kropatsch, W. (Walter) Springer-Verlag
2 図書 Computer aided verification : 3rd international workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991 : proceedings CAV (Conference), Larsen, K. G. (Kim G.), 1957-, Skou, A. (Arne), 1948- Springer-Verlag	8 図書 Advanced information systems engineering : 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993 : proceedings Conference on Advanced Information Systems Engineering, Rolland, Colette, Bodart, F., Cauvet, Corine Springer-Verlag
3 図書 Computer-aided verification : 2nd International Conference, CAV '90, New Brunswick, NJ, USA, June 18-21, 1990 : proceedings CAV (Conference), Clarke, E. M., Kurshan, R. P., 1943- Springer-Verlag	9 図書 Ada : moving towards 2000 : 11th Ada-Europe International Conference, Zandvoort, The Netherlands, June 1-5, 1992 : proceedings Ada-Europe International Conference, Katwijk, J. (Jan) van, 1945- Springer-Verlag
4 図書 Rewriting techniques and applications : 5th International Conference, RTA-93, Montreal Canada, June 16-18 1993 : proceedings International Conference on Rewriting Techniques and Applications, Kirchner, Claude Springer-Verlag	10 図書 Numerical analysis : proceedings of the biennial conference held at Dundee, June 28-July 1, 1977 Dundee Conference on Numerical Analysis, Watson, G. A., 1942- Springer-Verlag
5 図書 Numerical analysis : proceedings of the 10th Biennial Conference held at Dundee, Scotland, June 28-July 1, 1983 Dundee Conference on Numerical Analysis, Griffiths, David Francis Springer-Verlag	11 図書 Automata, languages and programming : 20th International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993 : proceedings International Colloquium on Automata, Languages and Programming, Lingas, Andrzej, Karlsson, R. (Rolf), 1950-, Carlsson, … Springer-Verlag
6 図書 PARLE '93, parallel architectures and languages Europe : 5th International PARLE Conference, Munich, Germany, June 14-17, 1993 : proceedings International PARLE Conference, Bode, Arndt, Reeve, Mike, Wolf, Gottfried Springer-Verlag	12 図書 Fuzzy logic in artificial intelligence : 8th Austrian Artificial Intelligence Conference, FLAI '93, Linz, Austria, June 28-30, 1993 : proceedings Austrian Artificial Intelligence Conference, Klement, E. P. (Erich Peter), Slany, Wolfgang Springer-Verlag