Kim G Larsen | Booky.fi

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

Larsen, Kim G.; Skou, Arne
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1992
Pehmeäkantinen kirja

51,10 €

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

Larsen, Kim G.; Nielsen, Mogens
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
Pehmeäkantinen kirja

51,10 €

Formal Modeling and Analysis of Timed Systems - First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 20

Larsen, Kim G.; Niebert, Peter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2004
Pehmeäkantinen kirja

51,10 €

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

Larsen, Kim G.; Skyum, Sven; Winskel, Glynn
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1998
Pehmeäkantinen kirja

100,90 €

Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, Ma

Brinksma, Ed; Cleaveland, W. Rance; Larsen, Kim G.; Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

51,10 €

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

Brinksma, Ed; Larsen, Kim G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja

100,90 €

Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th B

Margaria, Tiziana; Graf, Susanne; Larsen, Kim G.
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja

51,10 €