Kim G. Larsen – författare

Visar alla böcker från författaren Kim G. Larsen.

7 produkter

Kategorier

7 produkter

Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
AvTiziana Margaria,Susanne Grafm. fl.
Häftad, Engelska, 2019
749 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
AvKim G. Larsen,Peter Niebert
Häftad, Engelska, 2004
719 kr
Skickas inom 10-15 vardagar
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
AvKim G. Larsen,Mogens Nielsen
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
AvEd Brinksma,Kim G. Larsen
Häftad, Engelska, 2002
1 479 kr
Skickas inom 10-15 vardagar
Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
AvKim G. Larsen,Arne Skou
Häftad, Engelska, 1992
749 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
AvEd Brinksma,W. Rance Cleavelandm. fl.
Häftad, Engelska, 1995
749 kr
Skickas inom 10-15 vardagar
Automata, Languages and Programming
25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings
AvKim G. Larsen,Sven Skyumm. fl.
Häftad, Engelska, 1998
1 479 kr
Skickas inom 10-15 vardagar