Temporal Logic of Programs (Monographs in Theoretical Computer Science. an Eatcs Series) (Reprint)
  • 洋書

Temporal Logic of Programs (Monographs in Theoretical Computer Science. an Eatcs Series) (Reprint)  Paperback,  言語:ENG

Kroger, Fred

  • ウェブストア価格 ¥11,535(本体¥10,487)
  • Springer-Verlag New York Inc(2012/07発売)
  • ポイント 104pt
  • 海外取次在庫
Temporal Logic and State Systems (Texts in Theoretical Computer Science. an Eatcs Series)
  • 洋書

Temporal Logic and State Systems (Texts in Theoretical Computer Science. an Eatcs Series)  Paperback,  言語:ENG

Kroger, Fred/ Merz, Stephan

  • ウェブストア価格 ¥18,878(本体¥17,162)
  • Springer(2010/11発売)
  • ポイント 171pt
  • 海外取次在庫
Temporal Logic of Programs (Monographs in Theoretical Computer Science : An Eatcs Series)
  • 洋書

Temporal Logic of Programs (Monographs in Theoretical Computer Science : An Eatcs Series)  Hardcover,  言語:ENG

Kroger, Fred

  • Springer-Verlag Berlin and Heidelberg GmbH & Co. K(1987/04発売)
  • ご注文いただけません