Henson, Martin C.

ID:DA0237565X

同姓同名の著者を検索

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

1

Logics of specification languages

Dines Bjørner, Martin C. Henson editors

Springer c2008 Monographs in theoretical computer science : an EATCS series

所蔵館9館
2

ZB 2005 : formal specification and development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005 : proceedings

Helen Treharne ... [et al.] (eds.)

Springer c2005 Lecture notes in computer science 3455

所蔵館13館
3

ZB 2002 : Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings

Didier Bert ... [et al.] (eds.)

Springer c2002 Lecture notes in computer science 2272

所蔵館25館
4

Elements of functional languages

Martin C. Henson

Blackwell Scientific Publications 1987 Computer science texts / consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson

: pbk.

所蔵館17館
5

Computer science texts

consulting editors K.J. Bowcock, Dr. A.M. Gibbons, M.C. Henson

Blackwell Scientific Publications

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

関連著者

ページトップへ