ISBN Formal Methods for Safety and Security book English Hardcover 132 pages
ISBN Formal Methods for Safety and Security, English, Hardcover, 132 pages
Offres:
*Date of last price update
User Notice: We regularly reference new offers to provide you with the widest selection. However, the displayed results do not reflect all available offers on the market. By default, offers are sorted by price, with the lowest price appearing first.
Similar Products
Product Information
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.
Product
Name
ISBN Formal Methods for Safety and Security book English Hardcover 132 pages
Category
Brand
Features
Book cover type
Hardcover
Language version
English
Written by
Manju Nanda, Yogananda Jeppu
Type
Paper book
Number of pages
132 pages
Illustrator
18 b/w illustrations, 24 illustrations in colour
Publisher
Springer Singapore
Release date (DD/MM/YYYY)
22/11/2017
Edition type
First edition
International Standard Book Number (ISBN)
9789811041204
NOTE: The above information is provided for your convenience only, and we cannot guarantee its accuracy with the seller.
Customer Reviews
Share your opinion on the product or read reviews from other members.
