Releases med J P Katoen

På lager hos iMusic Vis utilgjengelige utgivelser
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 (Pocketbok) (1999)
Pocketbok
Formal Methods for Real-time and...
J P Katoen