Formal Modeling and Analysis of Timed SystemsFranck Cassez

Formal Modeling and Analysis of Timed Systems

Franck Cassez, Claude Jard · 2008

איפה לקנות

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

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

פרטי הספר

שנה: 2008
שפה: English
הוצאה: Springer London, Limited
מהדורות: 1
ISBN: 9783540857785

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

עוד של Franck Cassez

Automated Technology for Verification and AnalysisFranck Cassez

Automated Technology for Verification and Analysis

Franck Cassez · 2014

Modeling and Verification of Parallel ProcessesFranck Cassez

Modeling and Verification of Parallel Processes

Franck Cassez · 2003