Apress Access

All eBooks in Logics and Meanings of Program

On this page you will find our Apress Books in the area of Logics and Meanings of Program.

Grid or a List

Set Ascending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  1. Verification, Model Checking, and Abstract Interpretation
    • Publication Date: January 3, 2014
    • ISBN13: 978-3-642540-12-7
    • Price: $79.99
  2. Verification of Sequential and Concurrent Programs
    • Publication Date: January 1, 1970
    • ISBN13: 978-1-475743-78-4
    • Price: $47.49
  3. Verification of Sequential and Concurrent Programs
    • Publication Date: September 18, 2009
    • ISBN13: 978-1-848827-44-8
    • Price: $69.95
  4. Verification of Sequential and Concurrent Programs 2nd Edition
    • Publication Date: January 1, 1970
    • ISBN13: 978-1-475727-16-6
    • Price: $47.49
  5. Verification of Business Rules Programs
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-642400-37-7
    • Price: $79.99
  6. Value-Range Analysis of C Programs
    • Publication Date: March 10, 2010
    • ISBN13: 978-1-848000-16-2
    • Price: $119.00
  7. Universal Algebra for Computer Scientists
    • Publication Date: August 1, 2012
    • ISBN13: 978-3-642767-73-9
    • Price: $47.49
  8. Unfoldings
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540774-25-9
    • Price: $99.00
  9. Tools and Algorithms for the Construction and Analysis of Systems
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-61-1
    • Price: $89.99
  10. Theoretical Aspects of Computing – ICTAC 2014
    • Publication Date: September 11, 2014
    • ISBN13: 978-3-319108-81-0
    • Price: $69.99
  11. The Logic of Partial Information
    • Publication Date: December 30, 2011
    • ISBN13: 978-3-642781-62-9
    • Price: $62.92
  12. Temporal Logic of Programs
    • Publication Date: November 17, 2011
    • ISBN13: 978-3-642715-51-8
    • Price: $47.49
  13. Structured Object-Oriented Formal Language and Method
    • Publication Date: February 20, 2014
    • ISBN13: 978-3-319049-14-4
    • Price: $49.99
  14. Stochastic Model Checking
    • Publication Date: November 3, 2014
    • ISBN13: 978-3-662454-88-6
    • Price: $49.99
  15. Static Analysis
    • Publication Date: September 6, 2014
    • ISBN13: 978-3-319109-35-0
    • Price: $59.99
  16. Specification, Algebra, and Software
    • Publication Date: March 1, 2014
    • ISBN13: 978-3-642546-23-5
    • Price: $89.99
  17. Software Engineering and Formal Methods
    • Publication Date: July 8, 2014
    • ISBN13: 978-3-319050-31-7
    • Price: $69.99
  18. Rewriting Logic and Its Applications
    • Publication Date: November 15, 2014
    • ISBN13: 978-3-319129-03-7
    • Price: $49.99
  19. Quantitative Evaluation of Systems
    • Publication Date: August 27, 2014
    • ISBN13: 978-3-319106-95-3
    • Price: $69.99
  20. Pristine Perspectives on Logic, Language and Computation
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-15-2
    • Price: $49.99

Grid or a List

Set Ascending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3