First-Order Dynamic Logic
Harel, D.
ISBN 10: 3540092374 ISBN 13: 9783540092377
Published by Springer, 1979
New
Soft cover
From
Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 9 October 2009
This specific item is no longer available.
About this Item
Description:
1979. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783540092377
Synopsis:
First-Order Dynamic Logic First-Order Dynamic Logic
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: First-Order Dynamic Logic
Publisher: Springer
Publication Date: 1979
Binding: Soft cover
Condition: New
Top Search Results from the AbeBooks Marketplace
Stock Image
First-Order Dynamic Logic (Lecture Notes in Computer Science)
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.
Seller rating 5 out of 5 stars
Condition: Used - Very Good. 1979. Paperback. Some shelf-wear. Very Good. Seller Inventory # SON000001044
Quantity: 1 available
Seller Image
First-Order Dynamic Logic
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374
ISBN 13: 9783540092377
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics. Seller Inventory # 9783540092377
Quantity: 1 available
Stock Image
First-Order Dynamic Logic
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540092377
Quantity: 10 available
Stock Image
First-Order Dynamic Logic
Seller: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: As New. No Jacket. Pages are clean and are not marred by notes or folds of any kind. ~ ThriftBooks: Read More, Spend Less 0.48. Seller Inventory # G3540092374I2N00
Quantity: 1 available
Seller Image
First-Order Dynamic Logic
Published by
Springer Berlin Heidelberg, 1979
ISBN 10: 3540092374
ISBN 13: 9783540092377
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. I: Binary-relation semantics.- II: Computation-tree semantics.David Harel has been at the Weizmann Institute of Science in Israel since 1980. He was Department Head from 1989-95, and was Dean of the Faculty of Mathematics and Computer Science betwee. Seller Inventory # 4880384
Quantity: Over 20 available
Stock Image
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540092377_new
Quantity: Over 20 available
Stock Image
First-Order Dynamic Logic
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 148 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5852649
Quantity: 4 available
Stock Image
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020158436
Quantity: Over 20 available
Seller Image
First-order Dynamic Logic
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5907928-n
Quantity: 15 available
Stock Image
First-Order Dynamic Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 148. Seller Inventory # 263076662
Quantity: 4 available