Brinksma, Ed

この人物の情報

人物別名 Ed Brinksma

Brinksma, E. (Ed)
生年 -
没年 -

本の一覧

タイトル 著作者等 出版元 刊行年月
Computer aided verification : 14th International Conference, CAV 2002, Copenhagen, Denmark, July 27-31, 2002 : proceedings Ed Brinksma, Kim Guldstrand Larsen (eds.) Springer
c2002
Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000 : revised lectures Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.) Springer
c2001
Tools and algorithms for the construction and analysis of systems : Third International Workshop, TACAS ʾ97, Enschede, The Netherlands, April 2-4, 1997 : proceedings Ed Brinksma (ed.) Springer
c1997
Tools and algorithms for the construction and analysis of systems : First International Workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers E. Brinksma ... [et al.], (eds.) Springer
c1995
Protocol test systems, IV : proceedings of the IFIP TC6 Fourth International Workshop on Protocol Test Systems, organized by PTT Research, Leidschendam, The Netherlands, 15-17 October, 1991 edited by Jan Kroon, Rudolf J. Heijink, Ed Brinksma North-Holland
s for the U.S. and Canada, Elsevier Pub. Co.
1992
Protocol specification, testing, and verification, IX : proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing, and Verification, Enschede, The Netherlands, 6-9 June, 1989 edited by Ed Brinksma, Giuseppe Scollo, Chris A. Vissers North-Holland
Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.
1990
この人物の作品が掲載されている本を検索
この人物を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この人物と繋がる本を検索

ウィキペディアから連想