Formal Methods for Safety and Security: Case Studies for Aerospace Applications

by: Manju Nanda · Yogananda Jeppu

Hardcover

details (USA).
(see also: eBook (Kindle))

details (UK).
(see also: eBook (Kindle))

details (Germany).
(see also: Kindle Ausgabe)

details (Spain - España).
(see also: Versión Kindle)

ISBN: 978-981-10-4120-4

ISBN-10: 981-10-4120-2

Springer · 2017