Susanne Grafのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Susanne Graf · Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju (Paperback Book) [2015 edition] (2015)

Formal Techniques for Distribute... (2015)

Cover for Susanne Graf · Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006, Proceedings - Programming and Software Engineering (Paperback Book) [2006 edition] (2006)

Automated Technology for Verific... (2006)

Cover for Susanne Graf · Model Checking Software: 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)

Model Checking Software: 11th In... (2004)