W Rance Cleaveland | Booky.fi

Haullasi löytyi yhteensä 2 tuotetta
Haluatko tarkentaa hakukriteerejä?

Tools and Algorithms for the Construction of Analysis of Systems - 5th International Conference, TACAS'99, Held as Part of the J

Cleaveland, W. Rance
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1999
Pehmeäkantinen kirja

51,10 €

Tools and Algorithms for the Construction and Analysis of Systems - First International Workshop, TACAS '95, Aarhus, Denmark, Ma

Brinksma, Ed; Cleaveland, W. Rance; Larsen, Kim G.; Margaria, Tiziana; Steffen, Bernhard
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1995
Pehmeäkantinen kirja

51,10 €