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

書誌事項

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.)

(Lecture notes in computer science, 2651)

Springer, c2003

この図書・雑誌をさがす
注記

Includes bibliographical references and index

Other editors: Jonathan P. Bowen, Steve King, Marina Waldén

関連文献: 1件中  1-1を表示
詳細情報
ページトップへ