Verified Software : Theories, Tools, ExperimentsGary T. Leavens
Verified Software : Theories, Tools, Experiments
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2010
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- עמודים
- 217
- ISBN
- 9783642150579
מקור הנתונים: Wikidata
עוד של Gary T. Leavens
Transactions on Aspect-Oriented Software Development XGary T. Leavens
Transactions on Aspect-Oriented Software Development X
Gary T. Leavens · 2013
Transactions on Aspect-Oriented Software Development IXGary T. Leavens
Transactions on Aspect-Oriented Software Development IX
Gary T. Leavens · 2012
Foundations of Component-Based SystemsGary T. Leavens
Foundations of Component-Based Systems
Gary T. Leavens · 2000
Proceedings of the Modularity'15 Workshop on Foundations of Aspect-Oriented LanguagesGary T. Leavens
Proceedings of the Modularity'15 Workshop on Foundations of Aspect-Oriented Languages
Gary T. Leavens · 2015
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented LanguagesGary T. Leavens
Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages
Gary T. Leavens · 2014
Neo4j'12Gary T. Leavens
Neo4j'12
Gary T. Leavens · 2012
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and ApplicationsGary T. Leavens
Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications
Gary T. Leavens · 2012
Dci'12Gary T. Leavens
Dci'12
Gary T. Leavens · 2012
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and SoftwareGary T. Leavens
Proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software
Gary T. Leavens · 2012
Rpg'12Gary T. Leavens
Rpg'12
Gary T. Leavens · 2012