booktheque

Formal Methods for Executable Software Models

Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen · 2014

איפה לקנות

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

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

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

פרטי הספר

שנה
2014
שפה
English
הוצאה
Springer London, Limited
מהדורות
3
עמודים
343
ISBN
9783319073170

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

עוד של Marco Bernardo

Formal Methods for Dynamical Systems
Marco Bernardo · 2013
Formal Methods for Dynamical Systems
Marco Bernardo · 2013
Formal Methods for Multicore Programming
Marco Bernardo · 2015
Formal Methods for Model-Driven Engineering
Marco Bernardo · 2012
Formal Methods for Eternal Networked Software Systems
Marco Bernardo · 2011
Probabilistic Trace and Testing Semantics
Marco Bernardo · 2022
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo · 2016
Formal Methods For Modeldriven Engineering 12th International School On Formal Methods For The Design Of Computer Communication And Software Systems Sfm 2012 Bertinoro Italy June 1823 2012 Advanced Lectures
Marco Bernardo · 2012
Formal Methods for Web Services
Marco Bernardo · 2009
Formal Methods for Computational Systems Biology
Marco Bernardo · 2008