Nir Piterman – författare & böcker | Akademibokhandeln

Nir Piterman – författare

Visar alla böcker från författaren Nir Piterman.

2 produkter

Kategorier

2 produkter

Del 9434
Del 9434 - Lecture Notes in Computer Science
Hardware and Software: Verification and Testing
11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings
AvNir Piterman
Häftad, Engelska, 2015
719 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
AvNir Piterman,Scott Smolka
Häftad, Engelska, 2013
739 kr
Skickas inom 10-15 vardagar