Stavridou, V.

ID:DA0648271X

別名: Stavridou, V. (Victoria)

Stavridou, Victoria

同姓同名の著者を検索

検索結果3件中 1-3 を表示

1

Mathematics of dependable systems

edited by Chris Mitchell and Victoria Stavridou

Clarendon Press 1995- The Institute of Mathematics and its Applications conference series new ser., 55, 64

[1] , 2

所蔵館12館
2

Formal methods in circuit design

V. Stavridou

Cambridge University Press 1993 Cambridge tracts in theoretical computer science 37

所蔵館28館
3

Theorem provers in circuit design : proceedings of the IFIP TC10/WG10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice, and Experience, Nijmegen, the Netherlands, 22-24 June 1992

edited by V. Stavridou, T.F. Melham, R.T. Boute

North-Holland 1992 IFIP transactions A . Computer science and technology ; 10

所蔵館8館

この著者を外部サイトでさがす

関連著者

ページトップへ