Natasha Sharygina

Natasha Sharygina is the author of "Computer Aided Verification", "Validation of Evolving Software", "Tools and Algorithms for the Construction and Analysis of Systems" and "Software Verification".

Books by Natasha Sharygina

Computer Aided Ve...
Sharygina Natasha
Paperback: $109.99

Validation of Evo...
Chockler Hana
Hardback: $54.99

Validation of Evo...
Chockler Hana
Electronic book text: $109.00

Tools and Algorit...
Sankaranarayanan Sr...
Paperback: $49.99