World Congress on Formal Methods in the Development of Computing Systemsのリリース

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

Cover for World Congress on Formal Methods in the Development of Computing Systems · Fm 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1999)

Fm 99 - Formal Methods: World Co... (1999)

World Congress on Formal Methods...