Apress July 4th Sale

All Titles in Mathematical Logic and Formal Language

Grid or a List

Set Ascending Direction

Books 1-20 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  1. Using Event-B for Critical Device Software Systems
    • Publication Date: July 2, 2013
    • ISBN13: 978-1-447152-59-0
  2. Transactions on Rough Sets XIV
    • Publication Date: June 27, 2011
    • ISBN13: 978-3-642215-62-9
  3. Theory and Applications of Satisfiability Testing - SAT 2007
    • Publication Date: June 30, 2007
    • ISBN13: 978-3-540727-87-3
  4. The Logic of Categorial Grammars
    • Publication Date: June 30, 2012
    • ISBN13: 978-3-642315-54-1
  5. Temporal Logic and State Systems
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540674-01-6
  6. Stochastic Coalgebraic Logic
    • Publication Date: December 24, 2009
    • ISBN13: 978-3-642029-94-3
  7. Software Specification Methods
    • Publication Date: December 6, 2012
    • ISBN13: 978-1-852333-53-9
  8. Rewriting and Typed Lambda Calculi
    • Publication Date: July 1, 2014
    • ISBN13: 978-3-319089-17-1
  9. Relational and Algebraic Methods in Computer Science
    • Publication Date: April 8, 2014
    • ISBN13: 978-3-319062-50-1
  10. Relational and Algebraic Methods in Computer Science
    • Publication Date: September 12, 2012
    • ISBN13: 978-3-642333-13-2
  11. Refinement in Z and Object-Z 2nd Edition
    • Publication Date: September 12, 2013
    • ISBN13: 978-1-447153-54-2
  12. Reactive Kripke Semantics
    • Publication Date: November 29, 2013
    • ISBN13: 978-3-642413-88-9
  13. Proof in VDM: Case Studies
    • Publication Date: December 6, 2012
    • ISBN13: 978-3-540761-86-0
  14. Principles and Practice of Constraint Programming - CP 2012
    • Publication Date: October 3, 2012
    • ISBN13: 978-3-642335-57-0
  15. Principles and Practice of Constraint Programming
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-319104-27-0
  16. Pattern Calculus
    • Publication Date: July 30, 2009
    • ISBN13: 978-3-540891-84-0
  17. Modelling Distributed Systems
    • Publication Date: September 5, 2007
    • ISBN13: 978-3-540739-37-1
  18. Mathematical Logic for Computer Science
    • Publication Date: June 16, 2012
    • ISBN13: 978-1-447141-28-0
  19. Mathematical Logic
    • Publication Date: November 7, 2014
    • ISBN13: 978-3-034808-61-3
  20. Logics of Specification Languages
    • Publication Date: December 5, 2007
    • ISBN13: 978-3-540741-06-0

Grid or a List

Set Ascending Direction

Books 1-20 of 49

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