Lectures on Formal Methods and Performance Analysis
Editat de Ed Brinksma et al.
29 aug 2001
Paperback
Preț: 329.51 lei 411.90 lei
6-8 săpt.
-20%
Cărți de Holger Hermanns
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings
Editat de Holger Hermanns et al.
15 mar 2006
Paperback
Preț: 330.68 lei 413.35 lei
6-8 săpt.
-20%
CONCUR 2006 - Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006
Editat de Christel Baier et al.
10 aug 2006
Paperback
Preț: 633.83 lei 792.28 lei
6-8 săpt.
-20%