Graph Transformations and Model-Driven Engineering

  • Length: 782 pages
  • Publication Date: 2011-01-19

Formal Methods for Industrial Critical Systems

  • Length: 243 pages
  • Publication Date: 2010-11-04

Graph Transformations

  • Length: 431 pages
  • Publication Date: 2010-12-09

Combinatory Logic: Pure, Applied and Typed

  • Length: 357 pages
  • Publication Date: 2011-07-27
5.0

Introduction to Logic Design

  • Length: 656 pages
  • Publication Date: 2009-01-09