Order Total (1 Item Items):
Shipping Destination:
Time Logic Computational Approach (30 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (30)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (23)
- As New, Fine or Near Fine (6)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (6)
- Not Print on Demand (28)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Time & Logic: A Computational Approach (Routledge Revivals)
Published by Routledge 2021-09-30, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Language: English
US$ 36.97
Convert currencyUS$ 20.60 shipping from United Kingdom to U.S.A.Quantity: 5 available
Add to basketPaperback. Condition: New.
-
US$ 54.89
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 54.37
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Time & Logic: A Computational Approach
Published by Taylor & Francis Ltd, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 52.89
Convert currencyUS$ 11.44 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 185.
-
US$ 54.21
Convert currencyUS$ 8.64 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
US$ 62.65
Convert currencyUS$ 2.64 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Condition: New. 1st edition NO-PA16APR2015-KAP.
-
Time & Logic: A Computational Approach (Routledge Revivals)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 59.59
Convert currencyUS$ 15.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Time & Logic: A Computational Approach (Routledge Revivals)
Published by Routledge 2021-09-30, 2021
ISBN 10: 036733657X ISBN 13: 9780367336578
Language: English
US$ 57.33
Convert currencyUS$ 20.60 shipping from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPaperback. Condition: New.
-
US$ 67.57
Convert currencyUS$ 11.53 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Time & Logic : A Computational Approach
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 60.72
Convert currencyUS$ 19.95 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Time & Logic : A Computational Approach
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 67.06
Convert currencyUS$ 19.95 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 84.42
Convert currencyUS$ 13.30 shipping from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 332 pages. 9.25x6.19x0.77 inches. In Stock.
-
US$ 124.64
Convert currencyUS$ 33.24 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 23.86
Convert currencyUS$ 32.32 shipping from Italy to U.S.A.Quantity: 1 available
Add to basketCondition: Buone. inglese Condizioni dell'esterno: discrete, manca sovracoperta Condizioni dell'interno: Molto buone.
-
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 162.19
Convert currencyUS$ 15.93 shipping from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 177.48
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 178.97
Convert currencyUS$ 3.99 shipping within U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
US$ 143.26
Convert currencyUS$ 52.13 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketCondition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Time & Logic: A Computational Approach
Published by Taylor & Francis Ltd, 2020
ISBN 10: 0367336537 ISBN 13: 9780367336530
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
US$ 188.76
Convert currencyUS$ 11.44 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardback. Condition: New. New copy - Usually dispatched within 4 working days. 185.
-
US$ 191.91
Convert currencyUS$ 8.64 shipping from United Kingdom to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
Condition: New. 1st edition NO-PA16APR2015-KAP.
-
US$ 209.61
Convert currencyUS$ 13.30 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Brand New. 336 pages. 9.21x6.14x0.87 inches. In Stock.
-
Condition: New.
-
US$ 225.38
Convert currencyUS$ 11.53 shipping from Germany to U.S.A.Quantity: 3 available
Add to basketCondition: New.
-
US$ 243.80
Convert currencyUS$ 33.24 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: New. New. book.
-
US$ 283.52
Convert currencyUS$ 33.24 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketHardcover. Condition: Like New. Like New. book.
-
US$ 299.96
Convert currencyUS$ 33.24 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
US$ 53.58
Convert currencyUS$ 13.30 shipping from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Brand New. 332 pages. 9.25x6.19x0.77 inches. In Stock. This item is printed on demand.
-
US$ 93.02
Convert currencyUS$ 35.41 shipping from Germany to U.S.A.Quantity: 1 available
Add to basketTaschenbuch. Condition: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Originally published in 1995 Time and Logic examines understanding and application of temporal logic, presented in computational terms. The emphasis in the book is on presenting a broad range of approaches to computational applications. The techniques used will also be applicable in many cases to formalisms beyond temporal logic alone, and it is hoped that adaptation to many different logics of program will be facilitated. Throughout, the authors have kept implementation-orientated solutions in mind. The book begins with an introduction to the basic ideas of temporal logic. Successive chapters examine particular aspects of the temporal theoretical computing domain, relating their applications to familiar areas of research, such as stochastic process theory, automata theory, established proof systems, model checking, relational logic and classical predicate logic. This is an essential addition to the library of all theoretical computer scientists. It is an authoritative work which will meet the needs both of those familiar with the field and newcomers to it.
