Formal Methods for Industrial Critical SystemsJan Friso Groote

Formal Methods for Industrial Critical Systems

Jan Friso Groote, Marieke Huisman · 2022

איפה לקנות

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

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

פרטי הספר

שנה: 2022
שפה: English
הוצאה: Springer International Publishing AG
מהדורות: 1
ISBN: 9783031150074

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

עוד של Jan Friso Groote

Logical Gates, Circuits, Processors, Compilers and ComputersJan Friso Groote

Logical Gates, Circuits, Processors, Compilers and Computers

Jan Friso Groote · 2021

Modeling and Analysis of Communicating SystemsJan Friso Groote

Modeling and Analysis of Communicating Systems

Jan Friso Groote · 2014

Tools and Algorithms for the Construction and Analysis of SystemsJan Friso Groote

Tools and Algorithms for the Construction and Analysis of Systems

Jan Friso Groote · 2021