|
|

avaa valikko

Ed Brinksma | Akateeminen Kirjakauppa

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



Brinksma, Ed
Springer
1997
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, TACAS'97, Enschede, The
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter
Springer
2001
Pehmeäkantinen kirja
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science Berg en
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Brinksma, Ed; Cleaveland, W. Rance; Larsen, Kim G.; Margaria, Tiziana; Steffen, Bernhard
Springer
1995
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : First International Workshop, TACAS '95, Aarhus,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Brinksma, Ed; Larsen, Kim G.
Springer
2002
Pehmeäkantinen kirja
Computer Aided Verification : 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €