Ed Brinksmaのリリース

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

Cover for Ed Brinksma · Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, Proceedings - Lecture Notes in Computer Science (Paperback Book) (1997)

Tools and Algorithms for the Con... (1997)

Cover for Ed Brinksma · Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers (Tacas '95, Aarhus, Denmark, May 19-20, 1995, Selected Papers, Tacas '95, Aarhus, Denmark, May (Paperback Book) (1995)

Tools and Algorithms for the Con... (1995)