booktheque

Automated Technology for Verification and Analysis

Ahmed Bouajjani · 2010

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
2010
Language
English
Series
Lecture Notes in Computer Science -- 6252
Publisher
Springer-Verlag Heidelberg
Editions
2
ISBN
9783642156427

Data source: Wikidata

More by Ahmed Bouajjani

Networked Systems
Ahmed Bouajjani · 2016
Verification, Model Checking, and Abstract Interpretation
Ahmed Bouajjani · 2017
Formal Techniques for Disributed Objects, Components, and Systems
Ahmed Bouajjani · 2017
Computer Aided Verification
Ahmed Bouajjani · 2009