Dynamic Logic

Foundations of Computing

Dynamic Logic

by David Harel, Dexter Kozen and Jerzy Tiuryn

476 pp., 7 x 9 in,

  • Paperback
  • 9780262527668
  • Published: September 29, 2000
  • Publisher: The MIT Press

$55.00

  • Hardcover
  • 9780262082891
  • Published: September 29, 2000
  • Publisher: The MIT Press

$60.00

Other Retailers:

Related Books

Perturbations, Optimization, and Statistics
Programming Your GPU with OpenMP
Privacy Is Hard and Seven Other Myths
Cloud Computing
Living with Robots
Artificial Intelligence
Learning Kernel Classifiers
Once Upon an Algorithm
Computational Thinking Education in K–12
Structure and Interpretation of Computer Programs