Get 1 Year of unlimited Apress for $199
Instant access to all available titles and new releases Apress Access Subscription

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