Software and systems safetyM. Broy

Software and systems safety

M. Broy, Christian Leuxner, C. A. R. Hoare · 2011

איפה לקנות

בדקו את המחיר העדכני באמזון. אנחנו לא מציגים מחירים כי הם משתנים מדי יום.

לצפייה באמזון

קישור שותפים. בתור שותפים של Amazon אנחנו מרוויחים מרכישות מתאימות.

פרטי הספר

שנה: 2011
שפה: English
סדרה: NATO science for peace and security series: -- Sub-series D: -- Information and communication security -- vol. 30
הוצאה: IOS Press
מהדורות: 1
עמודים: 285
ISBN: 9781607507109

מקור הנתונים: Wikidata

עוד של M. Broy

Software pioneersM. Broy

Software pioneers

M. Broy · 2002

Software system reliability and securityM. Broy

Software system reliability and security

M. Broy · 2007

Model-based testing of reactive systemsM. Broy

Model-based testing of reactive systems

M. Broy · 2005

Formal systems specificationM. Broy

Formal systems specification

M. Broy · 1996

M. Broy · 1995

Methods of programmingM. Broy

Methods of programming

M. Broy · 1991

Calculational system designM. Broy

Calculational system design