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, Kim Guldstrand Larsen · 2021

איפה לקנות

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

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

פרטי הספר

שנה: 2021
שפה: English
הוצאה: Springer International Publishing AG
מהדורות: 2
ISBN: 9783030720155

מקור הנתונים: 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

Formal Methods for Industrial Critical SystemsJan Friso Groote

Formal Methods for Industrial Critical Systems

Jan Friso Groote · 2022