booktheque

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts · 2017

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

View on Amazon

Book details

Year
2017
Publisher
Springer
Editions
1
Pages
353
ISBN
9783319657646

Data source: Wikidata

More by Alessandro Abate

Hybrid Systems Biology
Alessandro Abate · 2016
Quantitative Evaluation of Systems
Alessandro Abate · 2021
Fairy Tales and Fables in the Lockdown
Alessandro Abate · 2021
Computational Methods in Systems Biology
Alessandro Abate · 2020
Blue
Alessandro Abate · 2018
Numerical Software Verification
Alessandro Abate · 2017
I, Destiny
Alessandro Abate · 2012
Favole e Fiabe Nel Lockdown
Alessandro Abate · 2021
Impero Di Cartax
Alessandro Abate · 2021
Io, Destino
Alessandro Abate · 2017