Hoppa till sidans huvudinnehåll

Kim G. Larsen – författare

Visar alla böcker från författaren .
7 produkter
Tiziana Margaria, Susanne Graf, Kim G. Larsen - Models, Mindsets, Meta: The What, the How, and the Why Not?, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems, Häftad

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

709 kr

Skickas inom 10-15 vardagar

Kim G. Larsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory, Häftad

CONCUR 2001 - Concurrency Theory

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

AvKim G. Larsen,Mogens Nielsen

Häftad, Engelska, 2001

709 kr

Skickas inom 10-15 vardagar

Ed Brinksma, Kim G. Larsen - Computer Aided Verification, Häftad

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

Kim G. Larsen, Arne Skou - Computer Aided Verification, Häftad

Computer Aided Verification

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

AvKim G. Larsen,Arne Skou

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar

Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

729 kr

Skickas inom 10-15 vardagar

Kim G. Larsen, Sven Skyum, Glynn Winskel - Automata, Languages and Programming, Häftad

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