Tallenna
The Practice of Formal Methods
His career has included industry research in the UK, Austria and Belgium, a PhD at the University of Oxford, and academic and research roles at the University of Cambridge and the University of Manchester, and since 1999 at Newcastle University.
- Alaotsikko
- Essays in Honour of Cliff Jones, Part I
- Toimittaja
- Ana Cavalcanti, James Baxter
- Painos
- 2024 ed.
- ISBN
- 9783031666759
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.8.2024
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 316
