Tools and Algorithms for the Construction and Analysis of Systems
- Kirjailija
- Steffen Bernhard, Kordon Fabrice, Huisman Marieke
- ISBN
- 9781013271212
- Kieli
- englanti
- Paino
- 939 grammaa
- Julkaisupäivä
- 8.10.2020
- Kustantaja
- Saint Philip Street Press
- Sivumäärä
- 280
