Hoppa till sidans huvudinnehåll

Nir Piterman – författare

Visar alla böcker från författaren Nir Piterman.
2 produkter
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

699 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

729 kr

Skickas inom 10-15 vardagar