Hoppa till sidans huvudinnehåll

Nir Piterman - Böcker

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

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

679 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

709 kr

Skickas inom 10-15 vardagar