Formal Verification of Object-Oriented Software

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

Model Checking Software

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

Scientific Data Analysis using Jython Scripting and Java

  • Length: 464 pages
  • Publication Date: 2010-08-18

Pro DLR in .NET 4

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

Graph Transformations and Model-Driven Engineering

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

Engineering a Compiler, 2nd Edition

  • Length: 824 pages
  • Publication Date: 2011-02-21

Software Build Systems: Principles and Experience

  • Length: 624 pages
  • Publication Date: 2011-03-21

Formal Methods for Industrial Critical Systems

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

Beginning Arduino Programming

  • Length: 272 pages
  • Publication Date: 2011-10-17