Formal Modeling and Analysis of Timed SystemsAlessandro Abate

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts · 2017

איפה לקנות

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

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

פרטי הספר

שנה: 2017
הוצאה: Springer
מהדורות: 1
עמודים: 353
ISBN: 9783319657646

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

עוד של Alessandro Abate

Hybrid Systems BiologyAlessandro Abate

Hybrid Systems Biology

Alessandro Abate · 2016

Quantitative Evaluation of SystemsAlessandro Abate

Quantitative Evaluation of Systems

Alessandro Abate · 2021

Fairy Tales and Fables in the LockdownAlessandro Abate

Fairy Tales and Fables in the Lockdown

Alessandro Abate · 2021

Computational Methods in Systems BiologyAlessandro Abate

Computational Methods in Systems Biology

Alessandro Abate · 2020

BlueAlessandro Abate

Alessandro Abate · 2018

Numerical Software VerificationAlessandro Abate

Numerical Software Verification

Alessandro Abate · 2017

I, DestinyAlessandro Abate

Alessandro Abate · 2012

Favole e Fiabe Nel LockdownAlessandro Abate

Favole e Fiabe Nel Lockdown

Alessandro Abate · 2021

Impero Di CartaxAlessandro Abate

Impero Di Cartax

Alessandro Abate · 2021

Io, DestinoAlessandro Abate

Alessandro Abate · 2017