Specification and Proof in Real Time CSPJim Davies
Specification and Proof in Real Time CSP
Jim Davies · 2012
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2012
- שפה
- English
- הוצאה
- University of Cambridge ESOL Examinations
- מהדורות
- 4
- עמודים
- 200
- ISBN
- 9781107403864
מקור הנתונים: Wikidata
עוד של Jim Davies
RivetedJim Davies
Riveted
Jim Davies · 2014
Formal methods and software engineeringJim Davies
Formal methods and software engineering
Jim Davies · 2005
Formal Methods: Foundations and ApplicationsJim Davies
Formal Methods: Foundations and Applications
Jim Davies · 2011
Being the Person Your Dog Thinks You AreJim Davies
Being the Person Your Dog Thinks You Are
Jim Davies · 2021
Riveted Lib/EJim Davies
Riveted Lib/E
Jim Davies · 2021
ImaginationJim Davies
Imagination
Jim Davies · 2019
Proceedings of the 5th International Conference on Theory and Practice of Electronic GovernanceJim Davies
Proceedings of the 5th International Conference on Theory and Practice of Electronic Governance
Jim Davies · 2011
Integrated Formal MethodsJim Davies
Integrated Formal Methods
Jim Davies · 2007