Formal Techniques for Distributed SystemsHolger Giese
Formal Techniques for Distributed Systems
Holger Giese · 2012
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2012
- שפה
- English
- סדרה
- Lecture Notes in Computer Science -- 7273
- הוצאה
- Springer Berlin Heidelberg
- מהדורות
- 1
- ISBN
- 9783642307935
מקור הנתונים: Wikidata
עוד של Holger Giese
Graph TransformationHolger Giese
Graph Transformation
Holger Giese · 2014
Model-Based Engineering of Embedded Real-Time SystemsHolger Giese
Model-Based Engineering of Embedded Real-Time Systems
Holger Giese · 2011
Architecting Critical SystemsHolger Giese
Architecting Critical Systems
Holger Giese · 2010
Models in Software EngineeringHolger Giese
Models in Software Engineering
Holger Giese · 2008
Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference ProceedingsHolger Giese
Formal Techniques For Distributed Systems Joint 14th Ifip Wg 61 International Conference And 32nd Ifip Wg 61 International Conference Proceedings
Holger Giese · 2012
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsHolger Giese
Proceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Holger Giese · 2011