Order Total (1 Item Items):
Shipping Destination:
Logics Time Computation (34 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (34)
- 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
Binding
Collectible Attributes
- First Edition (1)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (9)
- Not Print on Demand (32)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language and Information, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Language: English
Seller: Fireside Bookshop, Stroud, GLOS, United Kingdom
Association Member: PBFA
Seller rating 5 out of 5 stars
Soft cover. Condition: Good. Type: Book Small plain label inside cover.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Published by Center for the Study of Language and Inf (edition 1), 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 13.87
Convert currency£ 4.41 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
Logics of Time and Computation
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New.
-
Logics of Time and Computation
Published by Centre for the Study of Language & Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. New copy - Usually dispatched within 4 working days. 369.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In.
-
Logics of Time and Computation
Published by Centre for the Study of Language and Information, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
Seller rating 5 out of 5 stars
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
-
Logics of Time and Computation
Published by The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
£ 26.64
Convert currency£ 2.59 shipping from Ireland to United KingdomQuantity: 1 available
Add to basketCondition: New. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . .
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation. Real and Near Real Time Analysis and Decision Making System.
Seller: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germany
Association Member: GIAQ ILAB VDA
Seller rating 5 out of 5 stars
First Edition
£ 19.56
Convert currency£ 10.36 shipping from Germany to United KingdomQuantity: 1 available
Add to basket1st ed. 2017. 23.5 cm x 15.5 cm, 0 g. XXIV, 425 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Logics of Time and Computation
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition.
-
Logics of Time & Computation 2e
Published by Stanford Univ Center for the Study, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
Paperback. Condition: Brand New. 2nd edition. 180 pages. 9.50x6.50x0.75 inches. In Stock.
-
Logics of Time and Computation
Published by The Center for the Study of Language and Information Publications, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 31.24
Convert currency£ 2.21 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Series: Center for the Study of Language and Information Publication Lecture Notes. Num Pages: 190 pages. BIC Classification: PBC. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 15. Weight in Grams: 339. . 1992. Paperback. . . . . Books ship from the US and Ireland.
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language, 1987
ISBN 10: 0937073121 ISBN 13: 9780937073124
Language: English
Seller: Orca Knowledge Systems, Inc., Novato, CA, U.S.A.
Seller rating 5 out of 5 stars
£ 13.44
Convert currency£ 24.82 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: Good. Shelf wear to covers (fold marks, black lines on back cover, scuffed), Binding is tight. Finding no markings in book. 131pp.
-
Logics of Time and Computation
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 26.73
Convert currency£ 14.70 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New.
-
Logics of Time and Computation
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 28.06
Convert currency£ 14.70 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: As New. Unread book in perfect condition.
-
Logics of Time and Computation (Lecture Notes)
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 18.56
Convert currency£ 30.34 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketTrade Paperback. Condition: New. Second Edition, Revised & Expanded. This is a new, paperback, second edition copy, maroon spine.
-
Logics of Time and Computation
Published by Centre For The Study Of Language & Information Jun 1992, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 41.67
Convert currency£ 12.08 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Neuware - Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand.
-
£ 34.68
Convert currency£ 21.57 shipping from Germany to United KingdomQuantity: 1 available
Add to basketKartoniert / Broschiert. Condition: New. KlappentextrnrnNow revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositiona.
-
Logics of time a. computation. Second, rev. a. exp. ed.
Published by OO, 1992
Seller: Zentralantiquariat Leipzig GmbH, Leipzig, Germany
Association Member: BOEV
Seller rating 4 out of 5 stars
£ 16.89
Convert currency£ 12.73 shipping from Germany to United KingdomQuantity: 1 available
Add to basketIX, 180 S. OKart. Kanten leicht bestoßen. Rücken verblichen. St. a. Vortit. (CSLI Lecture Notes 7) Sprache: Englisch.
-
Logics of Time and Computation (Paperback)
Published by Center for the Study of Language and Informat, Stanford, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 28.72
Convert currency£ 36.77 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
-
Logics of Time and Computation (Paperback)
Published by Center for the Study of Language and Informat, Stanford, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 55.58
Convert currency£ 27.21 shipping from Australia to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to logics of discrete (integer), dense (rational), and continuous (real) time, to the temporal logic of henceforth, next, and until, and to the propositional dynamic logic of regular programs. Now revised and significantly expanded, this textbook introduces modal logic and examines the relevance of modal systems for theoretical computer science. Goldblatt sets out a basic theory of normal modal and temporal propositional logics, including issues such as completeness proofs, decidability, first-order definability, and canonicity. The basic theory is then applied to logics of discrete, dense, and continuous time; to the temporal logic of concurrent programs involving the connectives henceforth, next, and until; and to the dynamic logic of regular programs. New material for the second edition extends the temporal logic of concurrency to branching time, studying a system of Computational Tree Logic that formalizes reasoning about behavior. Dynamic logic is also extended to the case of concurrency, introducing a connective for the parallel execution of commands. A separate section is devoted to quantificational dynamic logic. Numerous exercises are included for use in the classroom.Robert Goldblatt is a professor of pure mathematics at the Victoria University of Wellington, New Zealand. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 97.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation: Real and Near Real Time Analysis and Decision Making System
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
£ 97.62
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
Logics of Time and Computation (Volume 7) (Lecture Notes)
Published by Center for the Study of Language and Inf, 1992
ISBN 10: 0937073946 ISBN 13: 9780937073940
Language: English
£ 70.98
Convert currency£ 32.36 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketPaperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation : Real and Near Real Time Analysis and Decision Making System
Published by Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319851489 ISBN 13: 9783319851488
Language: English
£ 95.13
Convert currency£ 12.08 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a technical approach to a Business Resilience System with its Risk Atom and Processing Data Point based on fuzzy logic and cloud computation in real time. Its purpose and objectives define a clear set of expectations for Organizations and Enterprises so their network system and supply chain are totally resilient and protected against cyber-attacks, manmade threats, and natural disasters. These enterprises include financial, organizational, homeland security, and supply chain operations with multi-point manufacturing across the world. Market shares and marketing advantages are expected to result from the implementation of the system. The collected information and defined objectives form the basis to monitor and analyze the data through cloud computation, and will guarantee the success of their survivability's against any unexpected threats. This book will be useful for advanced undergraduate and graduate students in the field of computer engineering, engineers that work for manufacturing companies, business analysts in retail and e-Commerce, and those working in the defense industry, Information Security, and Information Technology.
-
Business Resilience System (BRS): Driven Through Boolean, Fuzzy Logics and Cloud Computation : Real and Near Real Time Analysis and Decision Making System
Published by Springer International Publishing, 2017
ISBN 10: 3319534165 ISBN 13: 9783319534169
Language: English
£ 95.13
Convert currency£ 12.08 shipping from Germany to United KingdomQuantity: 1 available
Add to basketBuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book provides a technical approach to a Business Resilience System with its Risk Atom and Processing Data Point based on fuzzy logic and cloud computation in real time. Its purpose and objectives define a clear set of expectations for Organizations and Enterprises so their network system and supply chain are totally resilient and protected against cyber-attacks, manmade threats, and natural disasters. These enterprises include financial, organizational, homeland security, and supply chain operations with multi-point manufacturing across the world. Market shares and marketing advantages are expected to result from the implementation of the system. The collected information and defined objectives form the basis to monitor and analyze the data through cloud computation, and will guarantee the success of their survivability's against any unexpected threats. This book will be useful for advanced undergraduate and graduate students in the field of computer engineering, engineers that work for manufacturing companies, business analysts in retail and e-Commerce, and those working in the defense industry, Information Security, and Information Technology.
-
£ 110.37
Convert currency£ 6.62 shipping from U.S.A. to United KingdomQuantity: 4 available
Add to basketCondition: New.
-
Logics of time and computation (CSLI lecture notes)
Published by Center for the Study of Language, 1987
ISBN 10: 0937073113 ISBN 13: 9780937073117
Language: English
Seller: Midtown Scholar Bookstore, Harrisburg, PA, U.S.A.
Seller rating 5 out of 5 stars
£ 73.43
Convert currency£ 55.12 shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketHardcover. Condition: Very Good. Very Good - Crisp, clean, unread book with some shelfwear/edgewear, may have a remainder mark - NICE Standard-sized.
-
Hardcover. Condition: Brand New. 452 pages. 9.25x6.10x1.02 inches. In Stock.
-
£ 88.55
Convert currency£ 55.16 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
£ 88.77
Convert currency£ 55.16 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
