booktheque

Automated Formal Methods

Natarajan Shankar · 2017

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
2017
Language
English
Publisher
Association for Computing Machinery
Editions
1
ISBN
9781450353304

Data source: Wikidata

More by Natarajan Shankar

Verified Software : Theories, Tools, Experiments
Natarajan Shankar · 2008