Dynamic Logic

Foundations of Computing

Dynamic Logic

by David Harel, Dexter Kozen and Jerzy Tiuryn

Paperback

$60.00

Paperback

ISBN: 9780262527668

Pub date: September 29, 2000

Publisher: The MIT Press

476 pp., 7 x 9 in,

Hardcover

$60.00

Hardcover

ISBN: 9780262082891

Pub date: September 29, 2000

Publisher: The MIT Press

476 pp., 7 x 9 in,

476 pp., 7 x 9 in,

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

$60.00

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

$60.00