Scalable Techniques for Formal Verification formatIsbn:Softcover - 9781489984449 Das er dabei weniger
Description
Das er dabei weniger
Jahangirnagar University (Department of English)
/ Steidler
Thérèse Levasseur und Sophie Lalive de Bellegarde
Scalable Techniques for Formal Verification formatIsbn:Softcover - 9781489984449 Das er dabei wenigerThis book is about formal veri? cation, that is, the use of mathematical reasoning to ensure correct execution of computing systems. With the increasing use of c puting systems in safety critical and security critical applications, it is becoming increasingly important for our well being to ensure that those systems execute c rectly. Over the last decade, formal veri? cation has made signi? cant headway in the analysis of industrial systems,
Exchange/Return Notes
- We offer a 30-day return/exchange service after receiving.
- Final sale items are not eligible for returns or exchanges.
- To process your return/exchange, please contact us at [email protected]
- Please click here for more details>>> Return & Exchange Policy
You may also like
recommand products
