Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Lecture Notes in Computer Science)

by Marcello Bonsangue (Editor), EinarBrochJohnsen (Editor), ErikaAbraham (Editor), ErikaÁbrahám (Editor)

• New

  Paperback
  2016

  $66.79

  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.