1.
Computer Aided Verification 9th International Conference, Cav'97, Haifa, Israel, June 22-25,...
by Grumberg, O.
ISBN: 9783540631668
List Price: $99.00
2.
Software Safety and Security : Tools for Analysis and Verification
by Nipkow, T., Grumberg, O.
ISBN: 9781614990277
List Price: $196.00
OUT OF STOCK
See Availability on Amazon3.
Dependable Software Systems Engineering (Nato Science for Peace and Security - D: Informatio...
by Esparza, J., Grumberg, O., -
ISBN: 9781614996262
List Price: $155.00
OUT OF STOCK
See Availability on Amazon4.
Software Systems Safety (NATO Science for Peace and Security Series D: Information and Commu...
by O. Grumberg, H. Seidl, M. I...
ISBN: 9781614993841
List Price: $196.00