Verification, Model Checking, and Abstract InterpretationKedar S. Namjoshi

Verification, Model Checking, and Abstract Interpretation

Kedar S. Namjoshi, Andreas Podelski · 2007

Where to buy

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

Book details

Year: 2007
Language: English
Publisher: Springer
Editions: 4
Pages: 395
ISBN: 9783540697350

Data source: Wikidata

More by Kedar S. Namjoshi

Hardware and Software: Verification and TestingKedar S. Namjoshi

Hardware and Software: Verification and Testing

Kedar S. Namjoshi · 2011

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)Kedar S. Namjoshi

Verification, Model Checking, and Abstract Interpretation (vol. # 3855)

Kedar S. Namjoshi · 2006