Hoppa till sidans huvudinnehåll

Kim G. Larsen - Böcker

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 Graf m. fl.

Häftad, Engelska, 2019

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

AvKim G. Larsen,Peter Niebert

Häftad, Engelska, 2004

689 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

689 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 409 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

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

AvEd Brinksma,W. Rance Cleaveland m. fl.

Häftad, Engelska, 1995

709 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 Skyum m. fl.

Häftad, Engelska, 1998

1 409 kr

Skickas inom 10-15 vardagar