Nir Piterman - Böcker

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

2 produkter

Kategorier

2 produkter

Hardware and Software: Verification and Testing

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

Av Nir Piterman

Häftad, Engelska, 2015

709 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

Av Nir Piterman, Scott Smolka

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar