Abrial, Jean-Raymond (Autor)
Modeling in Event-B
Beschreibung
Produktdetails
| ISBN/GTIN | 978-0-511-73122-8 |
|---|---|
| Kopierschutz | Digital Rights Management |