Kim G. Larsen – författare
Visar alla böcker från författaren Kim G. Larsen. Handla med fri frakt och snabb leverans.
11 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, 2019
567 kr
Lägg i varukorg
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the …
Models, Mindsets, Meta: The What, the How, and the Why Not?
Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday
Av Kim G. Larsen, Susanne Graf m. fl.
E-bok, 2019
732 kr
Lägg i varukorg
This Festschrift volume is published in honor of Bernhard Steffen, Professor at the Technical University of Dortmund, on the occasion of his 60th birthday. His vision as well as his theoretical and practical work span the development and implementation of novel, specific algorithms, and the …
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, 2004
551 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003.The 19 revised full papers presented together with an invited paper and the abstracts of two …
Formal Modeling and Analysis of Timed Systems
First International Workshop, FORMATS 2003, Marseille, France, September 6-7, 2003, Revised Papers
Av Peter Niebert, Kim G. Larsen
E-bok, 2004
734 kr
Lägg i varukorg
This book constitutes the thoroughly refereed post-proceedings of the First International Workshop on Formal Modeling and Analysis of Timed Systems, FORMATS 2003, held in Marseille, France in September 2003. The 19 revised full papers presented together with an invited paper and the abstracts of …
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Av Kim G. Larsen, Mogens Nielsen
Häftad, 2001
551 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The …
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Häftad, 2002
1128 kr
Lägg i varukorg
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for …
CONCUR 2001 - Concurrency Theory
12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
Av Mogens Nielsen, Kim G. Larsen
E-bok, 2003
734 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001. The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The …
Computer Aided Verification
14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
E-bok, 2003
1502 kr
Lägg i varukorg
This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), held in Copenhagen, Denmark on July 27-31, 2002. CAV 2002 was the 14th in a series of conferences dedicated to the advancement of the theory and practice of computer-assisted formal analysis methods for …
Computer Aided Verification
3rd International Workshop, CAV '91, Aalborg, Denmark, July 1-4, 1991. Proceedings
Häftad, 1992
567 kr
Lägg i varukorg
This volume contains the proceedings of the thirdInternational Workshop on Computer Aided Verification, CAV'91, held in Aalborg, Denmark, July 1-4, 1991. The objectiveof this series of workshops is to bring together researchersand practitioners interested in the development and use ofmethods, tools …
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, 1995
567 kr
Lägg i varukorg
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '95, held in Aarhus, Denmark, in May 1995.The workshop brought together 46 researchers interested …
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, 1998
1128 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 25th International Colloquium on Automata, Languages and Programming, ICALP'98, held in Aalborg, Denmark, in July 1998.The 70 revised full papers presented together with eight invited contributions were carefully selected from a total of 182 …
