| |

avaa valikko

Nir Piterman | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 3 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

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

49,20 €

Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of t

Piterman, Nir; Smolka, Scott
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2013
Pehmeäkantinen kirja

Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of t

51,10 €

Extending Temporal Logic with Omega-Automata

Piterman, Nir
LAP Lambert Academic Publishing
2010
Pehmeäkantinen kirja

Extending Temporal Logic with Omega-Automata

87,30 €