All Logics and Meanings of Program Titles

Grid or a List

Set Descending Direction

Books 1-20 of 34

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. Computer Aided Verification
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-319088-66-2
  8. Computer Safety, Reliability, and Security
    • Publication Date: August 27, 2014
    • ISBN13: 978-3-319105-56-7
  9. Computer Safety, Reliability, and Security
    • Publication Date: September 3, 2014
    • ISBN13: 978-3-319105-05-5
  10. CONCUR 2014 – Concurrency Theory
    • Publication Date: August 23, 2014
    • ISBN13: 978-3-662445-83-9
  11. Elementary Logic
    • Publication Date: October 26, 2008
    • ISBN13: 978-1-848000-81-0
  12. Formal Techniques for Distributed Objects, Components, and Systems
    • Publication Date: May 20, 2014
    • ISBN13: 978-3-662436-12-7
  13. Formal Techniques for Safety-Critical Systems
    • Publication Date: April 5, 2014
    • ISBN13: 978-3-319054-15-5
  14. Foundations of Algebraic Specification and Formal Software Development
    • Publication Date: January 5, 2012
    • ISBN13: 978-3-642173-35-6
  15. Foundations of Software Science and Computation Structures
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-29-1
  16. From Programs to Systems - The Systems Perspective in Computing
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-642548-47-5
  17. Horizons of the Mind. A Tribute to Prakash Panangaden
    • Publication Date: May 23, 2014
    • ISBN13: 978-3-319068-79-4
  18. Logic Functions and Equations
    • Publication Date: January 29, 2009
    • ISBN13: 978-1-402095-94-8
  19. Model-Based Safety and Assessment
    • Publication Date: September 24, 2014
    • ISBN13: 978-3-319122-13-7
  20. Pristine Perspectives on Logic, Language and Computation
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-15-2

Grid or a List

Set Descending Direction

Books 1-20 of 34

per page
Page:
  1. 1
  2. 2