MicrosoftIgnite

All Titles in Mathematical Logic and Formal Language

Grid or a List

Set Descending Direction

Books 1-12 of 44

per page
Page:
  1. 1
  2. 2
  3. 3
  4. 4
  • A Concise Introduction to Languages and Machines Cover

    $39.95

  • A Proof Theory for Description Logics Cover

    $39.95

  • Abstract State Machines, Alloy, B, TLA, VDM, and Z Cover

    $59.99

  • Agent Technology from a Formal Perspective Cover

    $119.00

  • Automated Reasoning Cover

    $79.99

  • Categories and Types in Logic, Language, and Physics Cover

    $69.99

  • Coalgebraic Methods in Computer Science Cover

    $49.99

  • Conditionals and Modularity in General Logics Cover

    $99.00

  • Decision Procedures Cover

    $49.95

  • Deontic Logic and Normative Systems Cover

    $49.99

  • Finite Model Theory and Its Applications Cover

    $79.99

  • Formal Correctness of Security Protocols Cover

    $69.95

Grid or a List

Set Descending Direction

Books 1-12 of 44

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