booktheque

Automated Technology for Verification and Analysis

Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza · 2019

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

This is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
2019
Publisher
Springer
Editions
1
Pages
563
ISBN
9783030317836

Data source: Wikidata