Hoppa till sidans huvudinnehåll

Kim G. Larsen – författare

Visar alla böcker från författaren Kim G. Larsen.
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

719 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

699 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

699 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 439 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

719 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

719 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 439 kr

Skickas inom 10-15 vardagar