Formal Modeling and Analysis of Timed SystemsKim G. Larsen

Formal Modeling and Analysis of Timed Systems

Kim G. Larsen, Peter Niebert · 2004

איפה לקנות

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

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

פרטי הספר

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

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

עוד של Kim G. Larsen

Automata, Languages and ProgrammingKim G. Larsen

Automata, Languages and Programming

Kim G. Larsen · 1998

CONCUR 2001 - Concurrency TheoryKim G. Larsen

CONCUR 2001 - Concurrency Theory

Kim G. Larsen · 2003

Computer Aided Verification: 3rd International Workshop, Cav 92Kim G. Larsen

Computer Aided Verification: 3rd International Workshop, Cav 92

Kim G. Larsen · 1992