Software and systems safetyM. Broy

Software and systems safety

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

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2011
Language: English
Series: NATO science for peace and security series: -- Sub-series D: -- Information and communication security -- vol. 30
Publisher: IOS Press
Editions: 1
Pages: 285
ISBN: 9781607507109

Data source: Wikidata

More by 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