Valentines Day Springer Promo

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 Descending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  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. Answer Set Programming for Continuous Domains: A Fuzzy Logic Approach
    • Publication Date: May 3, 2012
    • ISBN13: 978-9-491216-58-9
  7. Application and Theory of Petri Nets and Concurrency
    • Publication Date: June 30, 2014
    • ISBN13: 978-3-319077-33-8
  8. Cellular Automata and Groups
    • Publication Date: August 24, 2010
    • ISBN13: 978-3-642140-33-4
  9. Computer Aided Verification
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-319088-66-2
  10. Computer Aided Verification
    • Publication Date: July 11, 2013
    • ISBN13: 978-3-642397-98-1
  11. Computer Safety, Reliability, and Security
    • Publication Date: September 3, 2014
    • ISBN13: 978-3-319105-05-5
  12. Computer Safety, Reliability, and Security
    • Publication Date: August 27, 2014
    • ISBN13: 978-3-319105-56-7
  13. Concrete Semantics
    • Publication Date: December 3, 2014
    • ISBN13: 978-3-319105-41-3
  14. CONCUR 2014 – Concurrency Theory
    • Publication Date: August 23, 2014
    • ISBN13: 978-3-662445-83-9
  15. Elementary Logic
    • Publication Date: October 26, 2008
    • ISBN13: 978-1-848000-81-0
  16. Formal Techniques for Distributed Objects, Components, and Systems
    • Publication Date: May 20, 2014
    • ISBN13: 978-3-662436-12-7
  17. Formal Techniques for Safety-Critical Systems
    • Publication Date: April 5, 2014
    • ISBN13: 978-3-319054-15-5
  18. Foundations of Algebraic Specification and Formal Software Development
    • Publication Date: January 5, 2012
    • ISBN13: 978-3-642173-35-6
  19. Foundations of Software Science and Computation Structures
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-29-1
  20. From Programs to Systems - The Systems Perspective in Computing
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-642548-47-5

Grid or a List

Set Descending Direction

Books 1-20 of 49

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