Numerical Software VerificationSergiy Bogomolov

Numerical Software Verification

Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar · 2017

איפה לקנות

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

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

פרטי הספר

שנה: 2017
שפה: English
הוצאה: Springer International Publishing AG
מהדורות: 1
עמודים: 107
ISBN: 9783319542911

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

עוד של Sergiy Bogomolov

Formal Modeling and Analysis of Timed SystemsSergiy Bogomolov

Formal Modeling and Analysis of Timed Systems

Sergiy Bogomolov · 2022