Valentines Day Springer Promo

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-12 of 49

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5
  • Using Event-B for Critical Device Software Systems Cover

    $56.66

  • Transactions on Rough Sets XIV Cover

    $69.99

  • Theory and Applications of Satisfiability Testing - SAT 2007 Cover

    $79.99

  • The Logic of Categorial Grammars Cover

    $59.95

  • Temporal Logic and State Systems Cover

    $69.95

  • Stochastic Coalgebraic Logic Cover

    $129.00

  • Software Specification Methods Cover

    $99.00

  • Rewriting and Typed Lambda Calculi Cover

    $79.99

  • Relational and Algebraic Methods in Computer Science Cover

    $69.99

  • Relational and Algebraic Methods in Computer Science Cover

    $59.95

  • Refinement in Z and Object-Z Cover

    $56.66

  • Reactive Kripke Semantics Cover

    $99.00

Grid or a List

Set Ascending Direction

Books 1-12 of 49

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