Theory and practice of formal methods: essays dedicated to frank de boer on the occasion of his 60th birthday
Éditeur :
Springer International Publishing AG
ISBN :
9783319307336
Date de publication :
13 mars 2016
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.