Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2016
ISBN 10: 1107028361 ISBN 13: 9781107028364
Da: AwesomeBooks, Wallingford, Regno Unito
EUR 10,18
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. Temporal Logics in Computer Science: Finite-State Systems: 58 (Cambridge Tracts in Theoretical Computer Science, Series Number 58) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. .
Paperback. Condizione: Very Good. 1. It's a well-cared-for item that has seen limited use. The item may show minor signs of wear. All the text is legible, with all pages included. It may have slight markings and/or highlighting.
Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
paperback. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: New.
Lingua: Inglese
Editore: Cambridge University Press 10/5/2023, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Temporal Logics. Book.
Lingua: Inglese
Editore: Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: California Books, Miami, FL, U.S.A.
EUR 25,35
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: GreatBookPrices, Columbia, MD, U.S.A.
Condizione: As New. Unread book in perfect condition.
paperback. Condizione: Very Good.
Lingua: Inglese
Editore: Wiley & Sons, Incorporated, John, 2015
ISBN 10: 1118751272 ISBN 13: 9781118751275
Da: Better World Books, Mishawaka, IN, U.S.A.
Condizione: Good. Used book that is in clean, average condition without any missing pages.
Lingua: Inglese
Editore: College Publications 7/1/2024, 2024
ISBN 10: 1848904606 ISBN 13: 9781848904606
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Logic as a Tool: A Guide to Formal Logical Reasoning. Book.
EUR 27,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: Cambridge University Press, Cambridge, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Paperback. Condizione: new. Paperback. Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks. Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. This Element aims at providing both a panoramic view and closer looks at temporal logics. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Condizione: New.
Condizione: New.
Lingua: Inglese
Editore: College Publications 7/23/2010, 2010
ISBN 10: 1848900139 ISBN 13: 9781848900134
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. Advances in Modal Logic Volume 8. Book.
Condizione: As New. Unread book in perfect condition.
Condizione: New.
EUR 30,59
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: As New. Unread book in perfect condition.
Condizione: As New. Unread book in perfect condition.
EUR 26,20
Quantità: 3 disponibili
Aggiungi al carrelloCondizione: New. pp. 96.
EUR 35,95
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
EUR 36,36
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Condizione: New. pp. 96.
Lingua: Inglese
Editore: Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 24,79
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: New. In.
Lingua: Inglese
Editore: Cambridge University Press, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: Books Puddle, New York, NY, U.S.A.
Condizione: New. New edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Cambridge University Press 2023-07-31, 2023
ISBN 10: 1009170104 ISBN 13: 9781009170109
Da: Chiron Media, Wallingford, Regno Unito
EUR 21,83
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: New.