Numerical Software VerificationAlessandro Abate

Numerical Software Verification

Alessandro Abate, Sylvie Boldo · 2017

איפה לקנות

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

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

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

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

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

Formal Modeling and Analysis of Timed SystemsAlessandro Abate

Formal Modeling and Analysis of Timed Systems

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