Get 1 Year of unlimited Apress for $199
Instant access to all available titles and new releases Apress Access Subscription

All eBooks in Mathematical Logic and Formal Language

On this page you will find our Apress Books in the area of 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
    • Price: $56.66
  2. Transactions on Rough Sets XIV
    • Publication Date: June 27, 2011
    • ISBN13: 978-3-642215-62-9
    • Price: $69.99
  3. Theory and Applications of Satisfiability Testing - SAT 2007
    • Publication Date: June 30, 2007
    • ISBN13: 978-3-540727-87-3
    • Price: $79.99
  4. The Logic of Categorial Grammars
    • Publication Date: June 30, 2012
    • ISBN13: 978-3-642315-54-1
    • Price: $59.95
  5. Temporal Logic and State Systems
    • Publication Date: March 12, 2008
    • ISBN13: 978-3-540674-01-6
    • Price: $69.95
  6. Stochastic Coalgebraic Logic
    • Publication Date: December 24, 2009
    • ISBN13: 978-3-642029-94-3
    • Price: $129.00
  7. Software Specification Methods
    • Publication Date: December 6, 2012
    • ISBN13: 978-1-852333-53-9
    • Price: $99.00
  8. Rewriting and Typed Lambda Calculi
    • Publication Date: July 1, 2014
    • ISBN13: 978-3-319089-17-1
    • Price: $79.99
  9. Relational and Algebraic Methods in Computer Science
    • Publication Date: September 12, 2012
    • ISBN13: 978-3-642333-13-2
    • Price: $59.95
  10. Relational and Algebraic Methods in Computer Science
    • Publication Date: April 8, 2014
    • ISBN13: 978-3-319062-50-1
    • Price: $69.99
  11. Refinement in Z and Object-Z 2nd Edition
    • Publication Date: September 12, 2013
    • ISBN13: 978-1-447153-54-2
    • Price: $56.66
  12. Reactive Kripke Semantics
    • Publication Date: November 29, 2013
    • ISBN13: 978-3-642413-88-9
    • Price: $99.00
  13. Proof in VDM: Case Studies
    • Publication Date: December 6, 2012
    • ISBN13: 978-3-540761-86-0
    • Price: $99.00
  14. Principles and Practice of Constraint Programming - CP 2012
    • Publication Date: October 3, 2012
    • ISBN13: 978-3-642335-57-0
    • Price: $129.00
  15. Principles and Practice of Constraint Programming
    • Publication Date: January 1, 1970
    • ISBN13: 978-3-319104-27-0
    • Price: $119.00
  16. Pattern Calculus
    • Publication Date: July 30, 2009
    • ISBN13: 978-3-540891-84-0
    • Price: $119.00
  17. Modelling Distributed Systems
    • Publication Date: September 5, 2007
    • ISBN13: 978-3-540739-37-1
    • Price: $59.95
  18. Mathematical Logic for Computer Science
    • Publication Date: June 16, 2012
    • ISBN13: 978-1-447141-28-0
    • Price: $39.95
  19. Mathematical Logic
    • Publication Date: November 7, 2014
    • ISBN13: 978-3-034808-61-3
    • Price: $59.99
  20. Logics of Specification Languages
    • Publication Date: December 5, 2007
    • ISBN13: 978-3-540741-06-0
    • Price: $159.00

Grid or a List

Set Ascending Direction

Books 1-20 of 49

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