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

著者

• Julliand, Jacques
• Kouchnarenko, Olga
• International Conference of B and Z Users

書誌事項

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

（Lecture notes in computer science, 4355）

Springer, 2006

詳細情報

• NII書誌ID(NCID): BA80603554
• ISBN:
  • 9783540687603
• LCCN: 2006938539
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin
• ページ数/冊数: xiii, 292 p.
• 大きさ: 24 cm
• 分類:
  • SG : 004
• 親書誌ID:
  • BA00009279