All Logics and Meanings of Program Titles

Grid or a List

Set Ascending Direction

Books 1-20 of 34

per page
Page:
  1. 1
  2. 2
  1. Verification, Model Checking, and Abstract Interpretation
    • Publication Date: January 3, 2014
    • ISBN13: 978-3-642540-12-7
  2. Verification of Sequential and Concurrent Programs 3rd Edition
    • Publication Date: September 18, 2009
    • ISBN13: 978-1-848827-44-8
  3. Verification of Business Rules Programs
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-642400-37-7
  4. Value-Range Analysis of C Programs
    • Publication Date: March 10, 2010
    • ISBN13: 978-1-848000-16-2
  5. Unfoldings
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540774-25-9
  6. Tools and Algorithms for the Construction and Analysis of Systems
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-61-1
  7. Theoretical Aspects of Computing – ICTAC 2014
    • Publication Date: September 11, 2014
    • ISBN13: 978-3-319108-81-0
  8. Structured Object-Oriented Formal Language and Method
    • Publication Date: February 20, 2014
    • ISBN13: 978-3-319049-14-4
  9. Stochastic Model Checking
    • Publication Date: November 3, 2014
    • ISBN13: 978-3-662454-88-6
  10. Static Analysis
    • Publication Date: September 6, 2014
    • ISBN13: 978-3-319109-35-0
  11. Specification, Algebra, and Software
    • Publication Date: March 1, 2014
    • ISBN13: 978-3-642546-23-5
  12. Software Engineering and Formal Methods
    • Publication Date: July 8, 2014
    • ISBN13: 978-3-319050-31-7
  13. Rewriting Logic and Its Applications
    • Publication Date: November 15, 2014
    • ISBN13: 978-3-319129-03-7
  14. Quantitative Evaluation of Systems
    • Publication Date: August 27, 2014
    • ISBN13: 978-3-319106-95-3
  15. Pristine Perspectives on Logic, Language and Computation
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-15-2
  16. Model-Based Safety and Assessment
    • Publication Date: September 24, 2014
    • ISBN13: 978-3-319122-13-7
  17. Logic Functions and Equations
    • Publication Date: January 29, 2009
    • ISBN13: 978-1-402095-94-8
  18. Horizons of the Mind. A Tribute to Prakash Panangaden
    • Publication Date: May 23, 2014
    • ISBN13: 978-3-319068-79-4
  19. From Programs to Systems - The Systems Perspective in Computing
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-642548-47-5
  20. Foundations of Software Science and Computation Structures
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-29-1

Grid or a List

Set Ascending Direction

Books 1-20 of 34

per page
Page:
  1. 1
  2. 2