All Titles in Mathematical Logic and Formal Language

Grid 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 $34.00

  • Transactions on Rough Sets XIV Cover

    $69.99 $41.99

  • Theory and Applications of Satisfiability Testing - SAT 2007 Cover

    $79.99 $47.99

  • The Logic of Categorial Grammars Cover

    $59.95 $35.97

  • Temporal Logic and State Systems Cover

    $69.95 $41.97

  • Stochastic Coalgebraic Logic Cover

    $129.00 $77.40

  • Software Specification Methods Cover

    $99.00 $59.40

  • Rewriting and Typed Lambda Calculi Cover

    $79.99 $47.99

  • Relational and Algebraic Methods in Computer Science Cover

    $69.99 $41.99

  • Relational and Algebraic Methods in Computer Science Cover

    $59.95 $35.97

  • Refinement in Z and Object-Z Cover

    $56.66 $34.00

  • Reactive Kripke Semantics Cover

    $99.00 $59.40

Grid List

Set Ascending Direction

Books 1-12 of 49

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