Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995Ed Brinksma

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995

Ed Brinksma · 1995

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: 1995
Language: English
Publisher: Springer
Editions: 3
Pages: 291
ISBN: 9783540606307

Data source: Wikidata

More by Ed Brinksma

Computer aided verificationEd Brinksma

Computer aided verification

Ed Brinksma · 2002

Tools and Algorithms for the Construction and Analysis of SystemsEd Brinksma

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma · 1997

Lectures on Formal Methods and Performance AnalysisEd Brinksma

Lectures on Formal Methods and Performance Analysis

Ed Brinksma · 2003