Cărți de Kim G. Larsen

Computer Aided Verification

Editat de Ed Brinksma et al.

19 iul 2002

Preț: 640^.11 lei 800^.14 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers

Lecture Notes in Computer Science, nr. 1019

Editat de Ed Brinksma et al.

23 noi 1995

Preț: 320^.37 lei 400^.47 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 575

Editat de Kim G. Larsen et al.

22 apr 1992

Preț: 329^.74 lei 412^.17 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 2154

Editat de Kim G. Larsen et al.

13 aug 2001

Preț: 334^.18 lei 417^.72 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 1443

Editat de Kim G. Larsen et al.

6 iul 1998

Preț: 651^.76 lei 814^.70 lei

6-8 săpt.

-20%

Formal Modeling and Analysis of Timed Systems

Editat de Kim G. Larsen et al.

8 apr 2004

Preț: 374^.71 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 11200

Editat de Tiziana Margaria et al.

26 iun 2019

Preț: 326^.87 lei 408^.59 lei

6-8 săpt.

-20%