Ed Brinksma | Akateeminen Kirjakauppa

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,40 €

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,40 €

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,40 €

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

101,40 €

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Meistä

Yhteystiedot ja aukioloajat
Usein kysytyt
Akateemisen Ystäväklubi
Toimitusehdot
Maksutavat
Tietosuojaseloste
Evästeiden hallinta

Seuraa Akateemista

Instagram
Facebook
Threads
TikTok
YouTube
LinkedIn

Sisäänkirjautuminen

Kirjaudu sisään Rekisteröityminen

Oma tili

Omat tiedot Omat tilaukset Omat laskut

Meistä

Yhteystiedot ja aukioloajat Usein kysytyt Akateemisen Ystäväklubi Toimitusehdot Tietosuojaseloste Maksutavat Evästeiden hallinta

Seuraa Akateemista

Instagram Facebook Threads TikTok YouTube LinkedIn