Skip navigation

Dynamic Logic

By David Harel, Dexter Kozen, and Jerzy Tiuryn
$60.00
$60.00

View Complete Product Information

Specifications

Hardcover

  • Pages: 475p.
  • Dimensions: 7 x 9 inches
  • Publication Date: September 29, 2000
  • Distributor: The MIT Press
  • ISBN: 9780262082891
  • ISBN10: 0262082896