Engineering Methods and Tools for Software Safety and Security
- M. Broy
- W. Sitou
- T. Hoare
Paperback & Hardcover deals ―
Amazon IndiaGOFlipkart GOSnapdealGOSapnaOnlineGOJain Book AgencyGOBooks Wagon₹12,198Book ChorGOCrosswordGODC BooksGOe-book & Audiobook deals ―
Amazon India GOGoogle Play Books GOAudible GO* Price may vary from time to time.
* GO = We're not able to fetch the price (please check manually visiting the website).
Know about the book -
Engineering Methods and Tools for Software Safety and Security is written by M. Broy and published by IOS Press. It's available with International Standard Book Number or ISBN identification 1607504103 (ISBN 10) and 9781607504108 (ISBN 13).
Based on the specific needs in applications of software technology, models and formal methods must serve the needs and the quality of advanced software engineering methods. This book provides a presentation of topics on how to meet such challenges covering both theoretical foundations and industrial practice.
