Cărți de W. Rance Cleaveland

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999, Proceedings

Lecture Notes in Computer Science, nr. 1579

Editat de W. Rance Cleaveland

10 mar 1999

Preț: 333^.96 lei 417^.46 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ț: 326^.34 lei 407^.93 lei

6-8 săpt.

-20%