All eBooks in Logics and Meanings of Program

Grid 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: August 27, 2014
    • ISBN13: 978-3-319105-56-7
  12. Computer Safety, Reliability, and Security
    • Publication Date: September 3, 2014
    • ISBN13: 978-3-319105-05-5
  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 List

Set Descending Direction

Books 1-20 of 49

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