Formal methods and hybrid real-time systemsD. Bjørner

Formal methods and hybrid real-time systems

D. Bjørner, Jones, C. B., Jim Woodcock · 2007

איפה לקנות

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

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

פרטי הספר

שנה: 2007
שפה: English
סדרה: LNCS sublibrary
הוצאה: Springer
מהדורות: 2
עמודים: 538
ISBN: 9783540752202

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

עוד של D. Bjørner

Perspectives of system informaticsD. Bjørner

Perspectives of system informatics

D. Bjørner · 2000

Logics of specification languagesD. Bjørner

Logics of specification languages

D. Bjørner · 2007

Formal methods in programming and their applicationsD. Bjørner

Formal methods in programming and their applications

D. Bjørner · 1993

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978

The Vienna development methodD. Bjørner

The Vienna development method

D. Bjørner · 1978