Ed Brinksma | Booky.fi

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

Tools and Algorithms for the Construction and Analysis of Systems - Third International Workshop, TACAS'97, Enschede, The Nether

Brinksma, Ed
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
1997
Pehmeäkantinen kirja

51,10 €

Lectures on Formal Methods and Performance Analysis - First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, Th

Brinksma, Ed; Hermanns, Holger; Katoen, Joost-Pieter
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2001
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 €

Computer Aided Verification - 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27-31, 2002 Proceedings

Brinksma, Ed; Larsen, Kim G.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2002
Pehmeäkantinen kirja

100,90 €