Nickovic - Böcker

Visar alla böcker från författaren Nickovic.
8 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?

Av Tiziana Margaria, Susanne Graf, Kim G. Larsen

Häftad, Engelska, 2019

729 kr

Skickas inom 7-10 vardagar
Kim G. Larsen, Peter Niebert - Formal Modeling and Analysis of Timed Systems, Häftad
Del 2791 - Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems

Av Kim G. Larsen, Peter Niebert

Häftad, Engelska, 2004

709 kr

Skickas inom 7-10 vardagar
Kim G. Larsen, Mogens Nielsen - CONCUR 2001 - Concurrency Theory, Häftad
Del 2154 - Lecture Notes in Computer Science

CONCUR 2001 - Concurrency Theory

Av Kim G. Larsen, Mogens Nielsen

Häftad, Engelska, 2001

709 kr

Skickas inom 7-10 vardagar
Ed Brinksma, Kim G. Larsen - Computer Aided Verification, Häftad
Del 2404 - Lecture Notes in Computer Science

Computer Aided Verification

Av Ed Brinksma, Kim G. Larsen

Häftad, Engelska, 2002

1 449 kr

Skickas inom 7-10 vardagar
Kim G. Larsen, Arne Skou - Computer Aided Verification, Häftad
Del 575 - Lecture Notes in Computer Science

Computer Aided Verification

Av Kim G. Larsen, Arne Skou

Häftad, Engelska, 1992

729 kr

Skickas inom 7-10 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
Del 1019 - Lecture Notes in Computer Science

Tools and Algorithms for the Construction and Analysis of Systems

Av Ed Brinksma, W. Rance Cleaveland, Kim G. Larsen, Tiziana Margaria, Bernhard Steffen

Häftad, Engelska, 1995

729 kr

Skickas inom 7-10 vardagar
Kim G. Larsen, Sven Skyum, Glynn Winskel - Automata, Languages and Programming, Häftad
Del 1443 - Lecture Notes in Computer Science

Automata, Languages and Programming

Av Kim G. Larsen, Sven Skyum, Glynn Winskel

Häftad, Engelska, 1998

1 449 kr

Skickas inom 7-10 vardagar