E Brinksmaのリリース

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

Cover for E Brinksma · Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science (Paperback Book) [2002 edition] (2002)

Computer Aided Verification: 14t... (2002)

Cover for E Brinksma · Lectures on Formal Methods and Performance Analysis: First Eef / Euro Summer School on Trends in Computer Science Berg en Dal, the Netherlands, July 3-7, 2000. Revised Lectures (First Eef Summer School on Trends in Computer Science Berg en Dal, the Nether (Paperback Book) (2001)

Lectures on Formal Methods and P... (2001)