Releases med E Brinksma

I lager hos iMusic Visa slutsålda utgivelser

Cover for E Brinksma · Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings - Lecture Notes in Computer Science (Pocketbok) [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 (Pocketbok) (2001)

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