Apress 5 de Mayo

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 $25.50

  • Transactions on Rough Sets XIV Cover

    $69.99 $31.50

  • Theory and Applications of Satisfiability Testing - SAT 2007 Cover

    $79.99 $36.00

  • The Logic of Categorial Grammars Cover

    $59.95 $26.98

  • Temporal Logic and State Systems Cover

    $69.95 $31.48

  • Stochastic Coalgebraic Logic Cover

    $129.00 $58.05

  • Software Specification Methods Cover

    $99.00 $44.55

  • Rewriting and Typed Lambda Calculi Cover

    $79.99 $36.00

  • Relational and Algebraic Methods in Computer Science Cover

    $69.99 $31.50

  • Relational and Algebraic Methods in Computer Science Cover

    $59.95 $26.98

  • Refinement in Z and Object-Z Cover

    $56.66 $25.50

  • Reactive Kripke Semantics Cover

    $99.00 $44.55

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