Apress

All Logics and Meanings of Program Titles

Grid or a List

Set Ascending Direction

9 Book(s)

per page
  1. Verification of Sequential and Concurrent Programs 3rd Edition
    • Publication Date: September 18, 2009
    • ISBN13: 978-1-848827-44-8
  2. Value-Range Analysis of C Programs
    • Publication Date: March 10, 2010
    • ISBN13: 978-1-848000-16-2
  3. Unfoldings
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540774-25-9
  4. Logic Functions and Equations
    • Publication Date: January 29, 2009
    • ISBN13: 978-1-402095-94-8
  5. Foundations of Algebraic Specification and Formal Software Development
    • Publication Date: January 5, 2012
    • ISBN13: 978-3-642173-35-6
  6. Elementary Logic
    • Publication Date: October 26, 2008
    • ISBN13: 978-1-848000-81-0
  7. Adapting Proofs-as-Programs
    • Publication Date: April 27, 2007
    • ISBN13: 978-0-387237-59-6
  8. A Theory of Distributed Objects
    • Publication Date: December 5, 2005
    • ISBN13: 978-3-540208-66-2
  9. A Practical Theory of Reactive Systems
    • Publication Date: March 30, 2006
    • ISBN13: 978-3-540233-42-8

Grid or a List

Set Ascending Direction

9 Book(s)

per page