Apress Memorial Day

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 13-24 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  • Proof in VDM: Case Studies Cover

    $99.00

  • Principles and Practice of Constraint Programming - CP 2012 Cover

    $129.00

  • Principles and Practice of Constraint Programming Cover

    $119.00

  • Pattern Calculus Cover

    $119.00

  • Modelling Distributed Systems Cover

    $59.95

  • Mathematical Logic for Computer Science Cover

    $39.95

  • Mathematical Logic Cover

    $59.99

  • Logics of Specification Languages Cover

    $159.00

  • Logical Analysis of Hybrid Systems Cover

    $119.00

  • Logic, Language, Information, and Computation Cover

    $49.99

  • Larch: Languages and Tools for Formal Specification Cover

    $61.67

  • Interactive Theorem Proving Cover

    $79.99

Grid or a List

Set Ascending Direction

Books 13-24 of 49

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