First Order Dynamic Logic by Harel (15 results)

Author:

Title:

Refine with Advanced Search

First-Order Dynamic Logic (Lecture Notes in Computer Science)
Harel, D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
- Signed
Seller: Powell's Bookstores Chicago, ABAA, Chicago, IL, U.S.A.Powell's Bookstores Chicago, ABAA
5-star seller
Contact seller
Association member: ABAAILAB
Condition: Used
£ 10.01
£ 3.74 shipping
Ships within U.S.A.
Quantity: 1 available
paperback. Condition: Used-Very Good. 1979th Edition. Some shelf-wear. Signed.
Discover more from David Harel
Explore their published works and collectible offers.Explore David Harel
First-order Dynamic Logic
Harel, D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: Used - As new
£ 13.06
£ 1.97 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
First-order Dynamic Logic
Harel, D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
5-star seller
Contact seller
Condition: New
£ 14.26
£ 1.97 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
First-Order Dynamic Logic (Paperback or Softback)
Harel, D.
Language: English
Published by Springer 4/1/1979, 1979
3540092374 / 9783540092377
- Softcover
Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores
5-star seller
Contact seller
Condition: New
£ 18.75
Free Shipping
Ships within U.S.A.
Quantity: 5 available
Paperback or Softback. Condition: New. First-Order Dynamic Logic. Book.
First-Order Dynamic Logic (Lecture Notes in Computer Science, 68)
Harel, D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
5-star seller
Contact seller
Condition: New
£ 20.02
£ 2.24 shipping
Ships within U.S.A.
Quantity: Over 20 available
Condition: New.
First-Order Dynamic Logic
D. Harel
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
4-star seller
Contact seller
Condition: New
£ 20.92
£ 2.98 shipping
Ships within U.S.A.
Quantity: 4 available
Condition: New. pp. 148.
First-order Dynamic Logic
Harel, D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: New
£ 13.48
£ 15.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: New.
First-order Dynamic Logic
Harel, D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
5-star seller
Contact seller
Condition: Used - As new
£ 15.54
£ 15.00 shipping
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
First-order dynamic logic. Lecture notes in computer science
Harel, David
Published by Springer Berlin 1979, 1979
- Softcover
Seller: Antiquariat Thomas & Reinhard, Recklinghausen, NRW, GermanyAntiquariat Thomas & Reinhard
5-star seller
Contact seller
Condition: Used
£ 6.89
£ 15.88 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Add to basket
Format groß 8°, broschiert, größerer weißer Fleck auf dem Einband v133 Seiten, on entfernter Rückensignatur, dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek, keine Markierungen / Anmerkungen. Shipping to abroad insured with tracking number.
First-Order Dynamic Logic
D. Harel
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
5-star seller
Contact seller
Condition: New
£ 15.25
£ 29.26 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - I: Binary-relation semantics.- II: Computation-tree semantics.
First-Order Dynamic Logic
D. Harel
Language: English
Published by Springer Berlin Heidelberg, 1979
3540092374 / 9783540092377
- Softcover
Seller: moluna, Greven, Germanymoluna
5-star seller
Contact seller
Condition: New
£ 12.13
£ 40.95 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Condition: New. 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.
First-Order Dynamic Logic
Harel, D.
Language: English
Published by Springer 1979-04, 1979
3540092374 / 9783540092377
- Softcover
- Print on Demand
Seller: Chiron Media, Wallingford, United KingdomChiron Media
5-star seller
Contact seller
Condition: New
£ 11.00
£ 4.49 shipping
Ships from United Kingdom to U.S.A.
Quantity: 20 available
PF. Condition: New. This item is printed on demand. Brand new book, sourced directly from publisher. Dispatch time is 6-7 days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely.
More images
First-Order Dynamic Logic
D. Harel
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 10.51
£ 58.51 shipping
Ships from Germany to U.S.A.
Quantity: 1 available
Taschenbuch. Condition: Neu. First-Order Dynamic Logic | D. Harel | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1979 | Springer | EAN 9783540092377 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu. …
First-Order Dynamic Logic
Harel D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
4-star seller
Contact seller
Condition: New
£ 17.27
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Quantity: 4 available
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.
First-Order Dynamic Logic
Harel D.
Language: English
Published by Springer, 1979
3540092374 / 9783540092377
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
4-star seller
Contact seller
Condition: New
£ 18.26
£ 8.32 shipping
Ships from Germany to U.S.A.
Quantity: 4 available
Condition: New. PRINT ON DEMAND pp. 148.