Formal Analysis and Verification of Safety Interlock Systems: Formal Specificati
41,42 €
Formal Analysis and Verification of Safety Interlock Systems. interlock system at iThemba LABS and (2) the. A running example is provided to make this book ideal for students who want to learn about this important new field.
Jetzt bei Ebay:
![Produktbild - Verification and Analysis of Computer Systems [Hardcover]](https://i.ebayimg.com/thumbs/images/g/xAMAAOSwa2xnRgzA/s-l140.jpg)
