Abstract State Machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings /

保存先:
書誌詳細
第一著者: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves (edición)
フォーマット: 図書
言語:英語
出版事項: Berlín, Alemania : Springer, 2010, c2010
シリーズ:(Lecture Notes in Computer Science)
オンライン・アクセス:Ver documento en línea
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!