Ed Brinksma – författare
Visar alla böcker från författaren Ed Brinksma. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
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
Häftad, Engelska, 2001
719 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Häftad, Engelska, 2002
1 429 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers
Häftad, Engelska, 1995
719 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings
Häftad, Engelska, 1997
719 kr
Skickas inom 10-15 vardagar