Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

by Dines Bjorner (Editor), Martin C . Henson (Editor)

• New

  Hardcover
  2007

  $265.51

  This book presents comprehensive studies on nine specification languages and their logics of reasoning. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development.