Editions of Software and Systems Safety: Specification and Verification by Manfred Broy

Software and Systems Safety: Specification and Verification (ebook)

Published June 15th 2012 by IOS Press

ebook, 296 pages

Author(s):

Manfred Broy (Editor),

Christian Leuxner (Editor),

Tony Hoare (Editor)

ISBN:

9781283289603 (ISBN10: 1283289601)

ASIN:

1283289601

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Software and Systems Safety: Specification and Verification (Kindle Edition)

Published January 1st 2011 by IOS Press

Kindle Edition, 296 pages

Author(s):

Manfred Broy (contributor)

ISBN:

9781607507116 (ISBN10: 1607507110)

ASIN:

1607507110

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Software and Systems Safety: Specification and Verification (NATO Science for Peace and Security D: Information and Communication Security, 30)

Published April 14th 2011 by SAGE Publications Ltd

1, Hardcover, 296 pages

Author(s):

Manfred Broy (Editor)

ISBN:

9781607507109 (ISBN10: 1607507102)

ASIN:

1607507102

Edition language:

English

Average rating:

0.0 (0 ratings)

less detail

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

Software and Systems Safety > Editions

by Manfred Broy First published January 1st 2011