Atif, Muhammad (Autor)
Groote, Jan Friso (Autor)
Understanding Behaviour of Distributed Systems Using mCRL2
Beschreibung
Produktdetails
| ISBN/GTIN | 978-3-031-23008-0 |
|---|---|
| Seitenzahl | 235 S. |
| Kopierschutz | mit Wasserzeichen |
| Dateigröße | 3306 Kbytes |