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

Testing Software and Systems

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

Formal Methods: Foundations and Applications

  • Length: 215 pages
  • Publication Date: 2011-12-27

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13

SDL 2011: Integrating System and Software Modeling

  • Length: 285 pages
  • Publication Date: 2012-01-31

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16

Fundamental Approaches to Software Engineering

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

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12

Pro Core Data for iOS, 2nd Edition

  • Length: 400 pages
  • Publication Date: 2011-11-23

R Graph Cookbook

  • Length: 272 pages
  • Publication Date: 2011-01-14