International Conference of B and Z Users

ID:DA12860811

別名: Conference of B and Z Users, International

ZB

関連著者名: International Conference of Z Users

同姓同名の著者を検索

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

1

B 2007: formal specification and development in B : 7th International Conference of B Users, Besançon, France, January 17-19, 2007 proceedings

Jacques Julliand, Olga Kouchnarenko (eds.)

Springer 2006 Lecture notes in computer science 4355

所蔵館5館
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 2003 : formal specification and development in Z and B : third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 : proceedings

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

Springer c2003 Lecture notes in computer science 2651

所蔵館21館
4

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館
5

ZB 2000 : formal specification and development in Z and B : first International Conference of B and Z Users, York, UK, August 29-September 2, 2000 : proceedings

Jonathan P. Bowen ... [et al.] (eds.)

Springer c2000 Lecture notes in computer science 1878

所蔵館30館

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

関連著者

ページトップへ