Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings
Editat de Jost-Pieter Katoen
12 mai 1999
Paperback
Preț: 326.62 lei 408.28 lei
6-8 săpt.
-20%