Formal Modeling and Analysis of Timed SystemsSriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan, Enrico Vicario · 2015

איפה לקנות

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

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

פרטי הספר

שנה: 2015
שפה: English
הוצאה: Springer London, Limited
מהדורות: 3
עמודים: 321
ISBN: 9783319229751

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

עוד של Sriram Sankaranarayanan

Verification, Model Checking, and Abstract InterpretationSriram Sankaranarayanan

Verification, Model Checking, and Abstract Interpretation

Sriram Sankaranarayanan · 2025

Tools and Algorithms for the Construction and Analysis of SystemsSriram Sankaranarayanan

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan · 2023