Numerical Software VerificationAlessandro Abate
Numerical Software Verification
Alessandro Abate, Sylvie Boldo · 2017
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2017
- Publisher
- Springer
- Editions
- 1
- Pages
- 115
- ISBN
- 9783319635002
Data source: Wikidata
More by 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
Blue
Alessandro Abate · 2018
Formal Modeling and Analysis of Timed SystemsAlessandro Abate
Formal Modeling and Analysis of Timed Systems
Alessandro Abate · 2017
I, DestinyAlessandro Abate
I, Destiny
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
Io, Destino
Alessandro Abate · 2017