Formal Methods and Software EngineeringMichael Butler
Formal Methods and Software Engineering
Michael Butler, Sylvain Conchon, Fatiha Zaïdi · 2015
איפה לקנות
בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.
לצפייה באמזוןקישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.
פרטי הספר
- שנה
- 2015
- שפה
- English
- הוצאה
- Springer London, Limited
- מהדורות
- 4
- עמודים
- 436
- ISBN
- 9783319254234
מקור הנתונים: Wikidata
עוד של Michael Butler
Making of Modern Switzerland, 1848-1998Michael Butler
Making of Modern Switzerland, 1848-1998
Michael Butler · 2014
Practitioner's Guide to Mental Health LawMichael Butler
Practitioner's Guide to Mental Health Law
Michael Butler · 2014
Abstract State Machines, Alloy, B, TLA, VDM, and ZMichael Butler
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Michael Butler · 2016
FM 2011: Formal MethodsMichael Butler
FM 2011: Formal Methods
Michael Butler · 2011
Rigorous development of complex fault-tolerant systemsMichael Butler
Rigorous development of complex fault-tolerant systems
Michael Butler · 2007
Cell Culture and Upstream ProcessingMichael Butler
Cell Culture and Upstream Processing
Michael Butler · 2007
Rejection and EmancipationMichael Butler
Rejection and Emancipation
Michael Butler · 1991
BRIAN TRACY QUOTESMichael Butler
BRIAN TRACY QUOTES
Michael Butler · 2026
Business of HackingMichael Butler
Business of Hacking
Michael Butler · 2024
Parents Dealing with Dysfunctional FamilyMichael Butler
Parents Dealing with Dysfunctional Family
Michael Butler · 2022