Kim G. Larsen - Böcker
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
709 kr
Skickas inom 10-15 vardagar
Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
689 kr
Skickas inom 10-15 vardagar
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
689 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
1 409 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
709 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
709 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
1 409 kr
Skickas inom 10-15 vardagar