Tag: Compilers

Testing Software and Systems Front Cover

Testing Software and Systems

  • Length: 236 pages
  • Publication Date: 2011-12-20
0
0 ratings
Formal Methods: Foundations and Applications Front Cover

Formal Methods: Foundations and Applications

  • Length: 215 pages
  • Publication Date: 2011-12-27
0
0 ratings
Certified Programs and Proofs Front Cover

Certified Programs and Proofs

  • Length: 416 pages
  • Publication Date: 2011-12-13
0
0 ratings
SDL 2011: Integrating System and Software Modeling Front Cover

SDL 2011: Integrating System and Software Modeling

  • Length: 285 pages
  • Publication Date: 2012-01-31
0
0 ratings
Theory and Applications of Models of Computation Front Cover

Theory and Applications of Models of Computation

  • Length: 494 pages
  • Publication Date: 2010-07-16
0
0 ratings
Fundamental Approaches to Software Engineering Front Cover

Fundamental Approaches to Software Engineering

  • Length: 396 pages
  • Publication Date: 2010-04-21
0
0 ratings
Algebraic and Numeric Biology Front Cover

Algebraic and Numeric Biology

  • Length: 195 pages
  • Publication Date: 2012-01-12
0
0 ratings
Pro Core Data for iOS, 2nd Edition Front Cover

Pro Core Data for iOS, 2nd Edition

by ,
  • Length: 400 pages
  • Publication Date: 2011-11-23
0
0 ratings
R Graph Cookbook Front Cover

R Graph Cookbook

by
  • Length: 272 pages
  • Publication Date: 2011-01-14
0
0 ratings
Pro Core Data for iOS: Data Access and Persistence Engine for iPhone, iPad, and iPod touch Front Cover

Pro Core Data for iOS: Data Access and Persistence Engine for iPhone, iPad, and iPod touch

by ,
  • Length: 400 pages
  • Publication Date: 2011-01-28
0
0 ratings
Formal Verification of Object-Oriented Software Front Cover

Formal Verification of Object-Oriented Software

  • Length: 209 pages
  • Publication Date: 2011-03-11
0
0 ratings
Model Checking Software Front Cover

Model Checking Software

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