Software Engineering and Formal Methods

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

Model and Data Engineering

  • Length: 299 pages
  • Publication Date: 2011-11-01

Algorithmic Decision Theory

  • Length: 356 pages
  • Publication Date: 2011-12-22

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

Conceptual Models: Core to Good Design

  • Length: 110 pages
  • Publication Date: 2011-12-12

Pro Windows Embedded Compact 7: Producing Device Drivers

  • Length: 296 pages
  • Publication Date: 2011-11-30

Reliable Knowledge Discovery

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

Drupal For Dummies

  • Length: 384 pages
  • Publication Date: 2009-12-29

Certified Programs and Proofs

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