| |

avaa valikko

Bernhard K Aichernig | Akateeminen Kirjakauppa

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

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December

Aichernig, Bernhard K.; de Boer, Frank S.; Bonsangue, Marcello M.
Springer
2011
Pehmeäkantinen kirja

Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December

51,10 €

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the

Aichernig, Bernhard K.; Maibaum, Tom
Springer
2003
Pehmeäkantinen kirja

Formal Methods at the Crossroads. From Panacea to Foundational Support : 10th Anniversary Colloquium of UNU/IIST, the

51,10 €

Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016,

Aichernig, Bernhard K.; Furia, Carlo A.
Springer
2016
Pehmeäkantinen kirja

Tests and Proofs : 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016,

51,10 €