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