Cărți de Ed Brinksma

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ț: 652^.28 lei 815^.36 lei

6-8 săpt.

-20%

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Lecture Notes in Computer Science, nr. 2090

Editat de Ed Brinksma et al.

29 aug 2001

Preț: 348^.73 lei 435^.91 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97, Enschede, The Netherlands, April 2-4, 1997, Proceedings

Lecture Notes in Computer Science, nr. 1217

Editat de Ed Brinksma

20 mar 1997

Preț: 334^.29 lei 417^.86 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ț: 327^.45 lei 409^.32 lei

6-8 săpt.

-20%