All Titles in Logics and Meanings of Program

Grid or a List

Set Ascending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  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
    • Publication Date: September 18, 2009
    • ISBN13: 978-1-848827-44-8
  3. Verification of Sequential and Concurrent Programs 2nd Edition
    • Publication Date: January 1, 1970
    • ISBN13: 978-1-475727-16-6
  4. Verification of Sequential and Concurrent Programs
    • Publication Date: January 1, 1970
    • ISBN13: 978-1-475743-78-4
  5. Verification of Business Rules Programs
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-642400-37-7
  6. Value-Range Analysis of C Programs
    • Publication Date: March 10, 2010
    • ISBN13: 978-1-848000-16-2
  7. Universal Algebra for Computer Scientists
    • Publication Date: August 1, 2012
    • ISBN13: 978-3-642767-73-9
  8. Unfoldings
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540774-25-9
  9. Tools and Algorithms for the Construction and Analysis of Systems
    • Publication Date: March 21, 2014
    • ISBN13: 978-3-642548-61-1
  10. Theoretical Aspects of Computing – ICTAC 2014
    • Publication Date: September 11, 2014
    • ISBN13: 978-3-319108-81-0
  11. The Logic of Partial Information
    • Publication Date: December 30, 2011
    • ISBN13: 978-3-642781-62-9
  12. Temporal Logic of Programs
    • Publication Date: November 17, 2011
    • ISBN13: 978-3-642715-51-8
  13. Structured Object-Oriented Formal Language and Method
    • Publication Date: February 20, 2014
    • ISBN13: 978-3-319049-14-4
  14. Stochastic Model Checking
    • Publication Date: November 3, 2014
    • ISBN13: 978-3-662454-88-6
  15. Static Analysis
    • Publication Date: September 6, 2014
    • ISBN13: 978-3-319109-35-0
  16. Specification, Algebra, and Software
    • Publication Date: March 1, 2014
    • ISBN13: 978-3-642546-23-5
  17. Software Engineering and Formal Methods
    • Publication Date: July 8, 2014
    • ISBN13: 978-3-319050-31-7
  18. Rewriting Logic and Its Applications
    • Publication Date: November 15, 2014
    • ISBN13: 978-3-319129-03-7
  19. Quantitative Evaluation of Systems
    • Publication Date: August 27, 2014
    • ISBN13: 978-3-319106-95-3
  20. Pristine Perspectives on Logic, Language and Computation
    • Publication Date: July 10, 2014
    • ISBN13: 978-3-662441-15-2

Grid or a List

Set Ascending Direction

Books 1-20 of 49

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