Apress Access Memorial Day Sale

All Titles in Logics and Meanings of Program

Grid or a List

Set Descending Direction

Books 1-20 of 39

per page
Page:
  1. 1
  2. 2
  1. A Practical Theory of Reactive Systems
    • Publication Date: March 30, 2006
    • ISBN13: 978-3-540233-42-8
  2. A Theory of Distributed Objects
    • Publication Date: December 5, 2005
    • ISBN13: 978-3-540208-66-2
  3. ABZ 2014: The Landing Gear Case Study
    • Publication Date: May 12, 2014
    • ISBN13: 978-3-319075-11-2
  4. Adapting Proofs-as-Programs
    • Publication Date: April 27, 2007
    • ISBN13: 978-0-387237-59-6
  5. Algebraic and Algorithmic Aspects of Differential and Integral Operators
    • Publication Date: February 25, 2014
    • ISBN13: 978-3-642544-78-1
  6. Application and Theory of Petri Nets and Concurrency
    • Publication Date: June 30, 2014
    • ISBN13: 978-3-319077-33-8
  7. Cellular Automata and Groups
    • Publication Date: August 24, 2010
    • ISBN13: 978-3-642140-33-4
  8. Computer Aided Verification
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-319088-66-2
  9. Computer Aided Verification
    • Publication Date: July 11, 2013
    • ISBN13: 978-3-642397-98-1
  10. Computer Safety, Reliability, and Security
    • Publication Date: September 3, 2014
    • ISBN13: 978-3-319105-05-5
  11. Computer Safety, Reliability, and Security
    • Publication Date: August 27, 2014
    • ISBN13: 978-3-319105-56-7
  12. CONCUR 2014 – Concurrency Theory
    • Publication Date: August 23, 2014
    • ISBN13: 978-3-662445-83-9
  13. Elementary Logic
    • Publication Date: October 26, 2008
    • ISBN13: 978-1-848000-81-0
  14. Formal Techniques for Distributed Objects, Components, and Systems
    • Publication Date: May 20, 2014
    • ISBN13: 978-3-662436-12-7
  15. Formal Techniques for Safety-Critical Systems
    • Publication Date: April 5, 2014
    • ISBN13: 978-3-319054-15-5
  16. Foundations of Algebraic Specification and Formal Software Development
    • Publication Date: January 5, 2012
    • ISBN13: 978-3-642173-35-6
  17. Foundations of Software Science and Computation Structures
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-29-1
  18. From Programs to Systems - The Systems Perspective in Computing
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-642548-47-5
  19. Horizons of the Mind. A Tribute to Prakash Panangaden
    • Publication Date: May 23, 2014
    • ISBN13: 978-3-319068-79-4
  20. Implementation and Application of Functional Languages
    • Publication Date: October 11, 2011
    • ISBN13: 978-3-642242-75-5

Grid or a List

Set Descending Direction

Books 1-20 of 39

per page
Page:
  1. 1
  2. 2