Paperback Book

Op voorraad bij iMusic

Toon niet beschikbare artikelen

Uitgaven door J P Katoen

Cover for J P Katoen · Formal Methods for Real-time and Probabilistic Systems: 5th International Amast Workshop, Arts'99, Bamberg, Germany, May 26-28, 1999, Proceedings (International Amast Workshop, Arts '99, Bamberg, Germany, May 26-28, 1999 - Proceedings) - Lecture Notes in (Paperback Book) (1999)
Paperback Book
Formal Methods for Real-time and...
J P Katoen