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

Av Tiziana Margaria, Susanne Graf m. fl

Häftad, Engelska, 2019

729 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

Av Kim G. Larsen, Peter Niebert

Häftad, Engelska, 2004

709 kr

Skickas inom 10-15 vardagar

CONCUR 2001 - Concurrency Theory

12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings

Av Kim G. Larsen, Mogens Nielsen

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Av Ed Brinksma, Kim G. Larsen

Häftad, Engelska, 2002

1 459 kr

Skickas inom 10-15 vardagar

Computer Aided Verification

3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings

Av Kim G. Larsen, Arne Skou

Häftad, Engelska, 1992

729 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

Av Ed Brinksma, W. Rance Cleaveland m. fl

Häftad, Engelska, 1995

729 kr

Skickas inom 10-15 vardagar

Automata, Languages and Programming

25th International Colloquium, ICALP'98, Aalborg, Denmark July 13-17, 1998, Proceedings

Av Kim G. Larsen, Sven Skyum m. fl

Häftad, Engelska, 1998

1 459 kr

Skickas inom 10-15 vardagar