Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings (Lecture Notes in Computer Science, 2999)
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 560 ページ / 15.5 x 3.2 x 23.5 cm
ISBN-10: 3540213775 ISBN-13: 9783540213772