Formal methods for embedded distributed systemsFabrice Kordon
Formal methods for embedded distributed systems
Fabrice Kordon · 2007
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2007
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 3
- ISBN
- 9781402079979
מקור הנתונים: Wikidata
עוד של Fabrice Kordon
Application and Theory of Petri Nets and ConcurrencyFabrice Kordon
Application and Theory of Petri Nets and Concurrency
Fabrice Kordon · 2016
Reliable systems on unreliable networked platformsFabrice Kordon
Reliable systems on unreliable networked platforms
Fabrice Kordon · 2007
Transactions on Petri Nets and Other Models of Concurrency XVIIIFabrice Kordon
Transactions on Petri Nets and Other Models of Concurrency XVIII
Fabrice Kordon · 2026
Embedded SystemsFabrice Kordon
Embedded Systems
Fabrice Kordon · 2013
Embedded Systems Analysis And Modeling With Sysml Uml And AadlFabrice Kordon
Embedded Systems Analysis And Modeling With Sysml Uml And Aadl
Fabrice Kordon · 2013
Reliable Software Technologies - Ada-Europe 2008Fabrice Kordon
Reliable Software Technologies - Ada-Europe 2008
Fabrice Kordon · 2008
Composition of Embedded Systems. Scientific and Industrial IssuesFabrice Kordon
Composition of Embedded Systems. Scientific and Industrial Issues
Fabrice Kordon · 2007