Tools and Algorithms for the Construction and Analysis of SystemsEd Brinksma

Tools and Algorithms for the Construction and Analysis of Systems

Ed Brinksma · 1997

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

לצפייה באמזון

פרטי הספר

שנה: 1997
שפה: English
הוצאה: Springer
מהדורות: 1
עמודים: 433
ISBN: 9783540627906

מקור הנתונים: Wikidata

עוד של Ed Brinksma

Computer aided verificationEd Brinksma

Computer aided verification

Ed Brinksma · 2002

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

Lectures on Formal Methods and Performance AnalysisEd Brinksma

Lectures on Formal Methods and Performance Analysis

Ed Brinksma · 2003