Hoppa till sidans huvudinnehåll

Nir Piterman – författare

Visar alla böcker från författaren .
2 produkter
Nir Piterman - Hardware and Software: Verification and Testing, Häftad
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

689 kr

Skickas inom 10-15 vardagar

Nir Piterman, Scott Smolka - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

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

719 kr

Skickas inom 10-15 vardagar