Sale
A Roadmap For Formal Property Verification
Springer
ISBN13:
9781402047572
$170.09
$160.86
- | Author: Pallab Dasgupta
- | Publisher: Springer
- | Publication Date: Jul 05, 2006
- | Number of Pages: 266 pages
- | Language: English
- | Binding: Hardcover
- | ISBN-10: 1402047576
- | ISBN-13: 9781402047572
- Author:
- Pallab Dasgupta
- Publisher:
- Springer
- Publication Date:
- Jul 05, 2006
- Number of pages:
- 266 pages
- Language:
- English
- Binding:
- Hardcover
- ISBN-10:
- 1402047576
- ISBN-13:
- 9781402047572