Formal Methods for Quantitative Aspects of Programming LanguagesAlessandro Aldini
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro, Herbert Wiklicky · 2010
איפה לקנות
המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.
לצפייה באמזוןזה קישור שותפים: כשקונים דרכו, האתר מקבל עמלה קטנה בלי תוספת במחיר עבורכם, וזה עוזר לנו להביא תוכן איכותי ולתחזק את האתר. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2010
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 1
- עמודים
- 169
- ISBN
- 9783642136788
מקור הנתונים: Wikidata
עוד של Alessandro Aldini
User-Centric NetworkingAlessandro Aldini
User-Centric Networking
Alessandro Aldini · 2014
Foundations of Security Analysis and Design VIAlessandro Aldini
Foundations of Security Analysis and Design VI
Alessandro Aldini · 2011
A process algebraic approach to software architecture designAlessandro Aldini
A process algebraic approach to software architecture design
Alessandro Aldini · 2010
Foundations of Security Analysis and Design VAlessandro Aldini
Foundations of Security Analysis and Design V
Alessandro Aldini · 2009
Foundations of Security Analysis and Design IIIAlessandro Aldini
Foundations of Security Analysis and Design III
Alessandro Aldini · 2005
Software Engineering and Formal Methods. SEFM 2023 Collocated WorkshopsAlessandro Aldini
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
Alessandro Aldini · 2024
Foundations of Security Analysis and Design VIIIAlessandro Aldini
Foundations of Security Analysis and Design VIII
Alessandro Aldini · 2016
Foundations of Security Analysis and Design VIIAlessandro Aldini
Foundations of Security Analysis and Design VII
Alessandro Aldini · 2014
Computer Performance EngineeringAlessandro Aldini
Computer Performance Engineering
Alessandro Aldini · 2010