1.
Roadmap for Formal Property Verification
by Dasgupta, Pallab
ISBN: 9789048171859
List Price: $129.00
2.
Multiobjective Heuristic Search An Introduction to Intelligent Search Methods for Multicrite...
by Dasgupta, Pallab, Chakrabar...
ISBN: 9783528057084
List Price: $54.95
3.
Roadmap for Formal Property Verification
by Dasgupta, Pallab
ISBN: 9781402047572
List Price: $129.00
4.
Cohesive Coverage Management Leveraging Formal Test Plans
by Hazra, Aritra, Dasgupta, Pa...
ISBN: 9783847376453
List Price: $77.00