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

Foundations and Practice of Security

  • Length: 266 pages
  • Publication Date: 2012-01-11

Fundamental Approaches to Software Engineering

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

Distributed, Embedded and Real-time Java Systems

  • Length: 388 pages
  • Publication Date: 2012-02-29

Beginning Android 4 Application Development

  • Length: 560 pages
  • Publication Date: 2012-03-13

Software Architecture and Design Illuminated

  • Length: 408 pages
  • Publication Date: 2009-02-19

Algebraic and Numeric Biology

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