booktheque

Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings

Aarti Gupta · 2008

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2008
Publisher
Springer
Editions
1
Pages
558
ISBN
9783540705437

Data source: Wikidata

More by Aarti Gupta