Parameterised | Akateeminen Kirjakauppa

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

Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, Nov

Piterman, Nir
Springer International Publishing AG
2015
Pehmeäkantinen kirja

49,20 €

Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Pa

Halldórsson, Magnús M.; Iwama, Kazuo; Kobayashi, Naoki; Speckmann, Bettina
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2015
Pehmeäkantinen kirja

100,90 €