F Wangのリリース

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

Cover for F Wang · Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings - Programming and Software Engineering (Paperback Book) [2005 edition] (2005)

Formal Techniques for Networked ... (2005)

Cover for F Wang · Automated Technology for Verification and Analysis: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31 - November 3, 2004. Proceedings - Lecture Notes in Computer Science (Paperback Book) [2004 edition] (2004)

Automated Technology for Verific... (2004)