Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen

Formal Methods for Industrial Critical Systems

Kim Guldstrand Larsen, Tim Willemse · 2019

איפה לקנות

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

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

פרטי הספר

שנה: 2019
הוצאה: Springer
מהדורות: 1
עמודים: 176
ISBN: 9783030270070

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

עוד של Kim Guldstrand Larsen

Computer aided verificationKim Guldstrand Larsen

Computer aided verification

Kim Guldstrand Larsen · 1992

Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen

Dependable Software Engineering. Theories, Tools, and Applications

Kim Guldstrand Larsen · 2017