0
Your cart

Your cart is empty

Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Formal Methods for Safety and Security - Case Studies for Aerospace Applications (Hardcover, 1st ed. 2018): Manju Nanda,... Formal Methods for Safety and Security - Case Studies for Aerospace Applications (Hardcover, 1st ed. 2018)
Manju Nanda, Yogananda Jeppu
R3,282 Discovery Miles 32 820 Ships in 9 - 17 working days

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.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Trustfire T21R LED Torch (2600…
R1,499 Discovery Miles 14 990
The Merthyr Rising
Gwyn A. Williams Paperback R1,012 Discovery Miles 10 120
Ward 7, Precinct 1, City of Boston: List…
Boston Election Department Paperback R654 Discovery Miles 6 540
Microwave Active Circuit Analysis and…
Clive Poole, Izzat Darwazeh Hardcover R2,104 R1,817 Discovery Miles 18 170
Teaching life skills in the Foundation…
Mariana Naude, Corinne Meier Paperback  (2)
R683 Discovery Miles 6 830
Inspire English International Year 9…
Paperback R883 Discovery Miles 8 830
The Writer's Notebook II - Craft Essays…
Christopher Beha Paperback R473 R443 Discovery Miles 4 430
English SATs Grammar, Punctuation and…
Kate Woodford, Elizabeth Walter Paperback  (1)
R198 Discovery Miles 1 980
Warriors: The Broken Code - 6-Book…
Erin Hunter Paperback R1,319 R1,088 Discovery Miles 10 880
English File: Beginner: Class DVDs
Christina Latham-Koenig, Clive Oxenden, … DVD-ROM R3,608 R2,040 Discovery Miles 20 400

 

Partners