Cărți de Kim G. Larsen

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ț: 339^.80 lei 424^.75 lei

6-8 săpt.

-20%

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

Lecture Notes in Computer Science, nr. 2791

Editat de Kim G. Larsen et al.

8 apr 2004

Preț: 388^.13 lei

6-8 săpt.

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

Lecture Notes in Computer Science, nr. 2404

Editat de Ed Brinksma et al.

19 iul 2002

Preț: 663^.45 lei 829^.32 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ț: 347^.40 lei 434^.26 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ț: 677^.97 lei 847^.47 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ț: 333^.04 lei 416^.30 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ț: 342^.78 lei 428^.48 lei

6-8 săpt.

-20%