Droid eBook Promotion

All Titles in 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

    $59.95

  • Relational and Algebraic Methods in Computer Science Cover

    $69.99

  • 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