Tallenna
Theory and Practice of Formal Methods
This Festschrift volume has been published in honor ofFrank de Boer, on the occasion of his 60th birthday.
Frank S. For a while, he also liked failures, especially in semantics, andoptimistically concluded with the failure of failures.
- Alaotsikko
- Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
- Toimittaja
- Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen
- Painos
- 1st ed. 2016
- ISBN
- 9783319307336
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 13.3.2016
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 427
