Using Event-B for Critical Device Software Systems
by Keith Glover Paperback 2017
- Author: Keith Glover
- ISBN 13: 9781981128860
- ISBN 10: 1981128867
- Publication Year: 2017
- Language: English
Specifications
| Index-10 | 1981128867 |
|---|---|
| Index-13 | 9781981128860 |
| Language | English |
✨ Readers also enjoyed...
Learn Full-Stack JavaScript Develo…
Minimum Enthropy H8 Control
Robust Controller Design Using Nor…
A Day in My Minecraft World
![The Emigrant's Vade-Mecum or Guide to the 'price Grant' in Venezuelan Guayana [by M. A. Pattison]](https://covers.openlibrary.org/b/isbn/9781018454771-M.jpg)
The Emigrant's Vade-Mecum or Guide…