Software and Systems Safety: Specification and Verification - Volume 30 NATO Science for Peace and Security Series - D: Information and Communication ... D: Information and Communication Security)

ISBN-13: 9781607507109

ISBN-10: 1607507102

Authors: M. Broy; C. Leuxner; T. Hoare

Binding: Hardcover

Publisher: IOS Press

Published: 2011

Sell this book           Buy or Rent?