Nir Piterman

Nir Piterman

2 books in the database

Books

Tools and Algorithms for the Construction and Analysis of SystemsNir Piterman

Tools and Algorithms for the Construction and Analysis of Systems

Nir Piterman · 2013

Hardware and Software : Verification and TestingNir Piterman

Hardware and Software : Verification and Testing

Nir Piterman · 2015