Get Free Shipping on orders over $79
Formal Methods for Safety and Security : Case Studies for Aerospace Applications - Yogananda Jeppu

Formal Methods for Safety and Security

Case Studies for Aerospace Applications

By: Yogananda Jeppu (Editor), Manju Nanda (Editor)

eText | 9 November 2017

At a Glance

eText


$169.00

or 4 interest-free payments of $42.25 with

 or 

Instant online reading in your Booktopia eTextbook Library *

Why choose an eTextbook?

Instant Access *

Purchase and read your book immediately

Read Aloud

Listen and follow along as Bookshelf reads to you

Study Tools

Built-in study tools like highlights and more

* eTextbooks are not downloadable to your eReader or an app and can be accessed via web browsers only. You must be connected to the internet and have no technical issues with your device or browser that could prevent the eTextbook from operating.

This volume is the outcome of deliberations on formal methods in aerospace. The book specially delves into the use of formal methods for verification, validation, and optimization of software in safety critical and time critical applications, such as those in aerospace engineering. The chapters in this book are authored by leading corporate and government R&D scientists. The contents of this book will be useful to researchers and professionals alike.

on
Desktop
Tablet
Mobile

More in Aerospace & Aviation Technology

Highest Duty : My Search for What Really Matters - Chesley B. Sullenberger

eBOOK

Mars : A Survival Guide - Guy Murphy

eBOOK

B-26 Marauder vs Me 262 : Europe 1945 - Robert Forsyth

eBOOK

Art in Orbit : Art Objects and Spaceflight - Barbara Brownie

eBOOK

RRP $162.00

$145.99

10%
OFF
From Plastic Parrots to Flying Kangaroos - Geoff Cowell

eBOOK

Mach Infinity Unveiled - Azhar ul Haque Sario

eBOOK