Programming Languages and Systems

  • Length: 647 pages
  • Publication Date: 2010-04-21

Domain-Specific Languages

  • Length: 421 pages
  • Publication Date: 2009-08-12

Formal Methods for Components and Objects

  • Length: 400 pages
  • Publication Date: 2012-04-10

Requirements Engineering: Foundation for Software Quality

  • Length: 337 pages
  • Publication Date: 2012-04-02

Fundamental Networking in Java

  • Length: 399 pages
  • Publication Date: 2005-09-01

Handbook of Service Description: USDL and Its Methods

  • Length: 563 pages
  • Publication Date: 2012-03-31

Principles and Practice of Constraint Programming – CP 2011

  • Length: 860 pages
  • Publication Date: 2011-11-03

Models in Software Engineering

  • Length: 428 pages
  • Publication Date: 2011-08-03

Software Engineering and Formal Methods

  • Length: 518 pages
  • Publication Date: 2011-12-20