Demri Stephane (75 results)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 23.02
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.Lucky's Textbooks
Contact seller5-star sellerCondition: New
£ 21.98
£ 3.02 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Language: English
Published by Cambridge University Press, United Kingdom, Cambridge 2016
Series: Cambridge Tracts in Theoretical Computer Science, Book 34 of 40. Book 34 of 40 - Cambridge Tracts in Theoretical Computer Science
- Softcover
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
Contact seller5-star sellerCondition: Used - Very good
£ 19.82
£ 5.60 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Very Good. This comprehensive text provides a modern and technically precise exposition of the fundamental theory and applications of temporal logics in computer science. Part I presents the basics of discrete transition systems, including constructions and behavioural equivalences. Part II examines the mos…t important temporal logics for transition systems and Part III looks at their expressiveness and complexity. Finally, Part IV describes the main computational methods and decision procedures for model checking and model building - based on tableaux, automata and games - and discusses their relationships. The book contains a wealth of examples and exercises, as well as an extensive annotated bibliography. Thus, the book is not only a solid professional reference for researchers in the field but also a comprehensive graduate textbook that can be used for self-study as well as for teaching courses. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 24.34
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: Rarewaves.com USA, London, LONDO, United KingdomRarewaves.com USA
Contact seller5-star sellerCondition: New
£ 30.30
Free ShippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 19.48
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 23.10
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 21.96
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 24.62
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 50.87
£ 2.00 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller4-star sellerCondition: New
£ 52.93
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
Contact seller5-star sellerCondition: New
£ 61.53
Free ShippingShips within U.S.A.Quantity: 1 available
Hardcover. Condition: new. Hardcover. The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Alternating-time temporal logics are consid…ered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago. This textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems. Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity. It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage ofor adapting proof methods fromtemporal logics, games in theoretical computer science and automata theory.Topics and features:Provides a unique teaching resource (typically for M1, M2 or PhD students), suitable for many courses such as Logic in Computer Science, Multi-Agent Systems, Formal Methods and Basics to VerificationFills a gap in the literature by presenting the standard results voluntarily exposed in a pedestrian style, as well as a few more recent results developed in full depth to prepare readers for examining more elaborate logical formalismsIncludes detailed chapter examples, exercises (with solutions at the end), and a wealth of bibliographical references, thereby supporting self-studyOffers a first unified presentation of alternating-time temporal logics in relation to games, automata and complexityThe textbook/guides target audience includes master students, PhD students and researchers that wish to have a thorough presentation of such logics and their relationships with automata theory, temporal logics, model-checking, energy games and complexity theory.Stephane Demri is a CNRS directeur de recherche at the Laboratoire Methodes Formelles (LMF) and adjunct professor at the Computer Science Department, ENS Paris-Saclay, Gif-sur-Yvette, France. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
- Softcover
Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections
Contact seller5-star sellerCondition: New
£ 50.80
£ 11.98 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New. In.
- Softcover
Seller: Chiron Media, Wallingford, , United KingdomChiron Media
Contact seller5-star sellerCondition: New
£ 48.02
£ 15.49 shippingShips from United Kingdom to U.S.A.Quantity: 10 available
PF. Condition: New.
- Softcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 50.50
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 72.89
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New. pp. 558.
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 75.24
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: English
Published by Cambridge University Press 2016
Series: Cambridge Tracts in Theoretical Computer Science, Book 34 of 40. Book 34 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 79.17
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Language: English
Published by Cambridge University Press 2016
Series: Cambridge Tracts in Theoretical Computer Science, Book 34 of 40. Book 34 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerCondition: New
£ 79.17
Free ShippingShips within U.S.A.Quantity: 1 available
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
- Hardcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 67.11
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Hardcover. Condition: Brand New. 211 pages. 6.30x0.71x9.49 inches. In Stock.
- Softcover
Seller: Antiquariat Bernhardt, Kassel, GermanyAntiquariat Bernhardt
Contact seller5-star sellerCondition: Used - Fine
£ 46.63
£ 43.27 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert Broschiert. Condition: Sehr gut. XXVIII, 528 Seiten, Lecture Notes in Artificial Intelligence, Band 8562. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewies…ener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 938.
Language: English
Published by Cambridge University Press 2016
Series: Cambridge Tracts in Theoretical Computer Science, Book 34 of 40. Book 34 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contact seller5-star sellerCondition: New
£ 93.44
Free ShippingShips within U.S.A.Quantity: 3 available
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
- Softcover
Seller: Rarewaves.com UK, London, United KingdomRarewaves.com UK
Contact seller5-star sellerCondition: New
£ 26.70
£ 65.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Paperback. Condition: New.
- Hardcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.77
£ 54.15 shippingShips from Germany to U.S.A.Quantity: 1 available
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge representation and artificial intelligence. Altern…ating-time temporal logics are considered as one of the most popular and influential logical formalisms for strategic reasoning in multi-agent systems and have been introduced by Rajeev Alur, Thomas Henzinger and Orna Kupferman about 25 years ago.This textbook provides a concise presentation of alternating-time temporal logics dedicated to strategic reasoning in multi-agent systems. Dedicated mainly to the model-checking problem, the work examines developments about basic semantical properties of such logics, decision procedures and computational complexity. It provides results for solving optimally the model-checking problem on concurrent game structures by taking advantage of or adapting proof methods from temporal logics, games in theoretical computer science and automata theory.Topics and features:Provides a unique teaching resource (typically for M1, M2 or PhD students), suitable for many courses such as Logic in Computer Science, Multi-Agent Systems, Formal Methods and Basics to VerificationFills a gap in the literature by presenting the standard results voluntarily exposed in a pedestrian style, as well as a few more recent results developed in full depth to prepare readers for examining more elaborate logical formalismsIncludes detailed chapter examples, exercises (with solutions at the end), and a wealth of bibliographical references, thereby supporting self-studyOffers a first unified presentation of alternating-time temporal logics in relation to games, automata and complexityThe textbook/guide s target audience includes master students, PhD students and researchers that wish to have a thorough presentation of such logics and their relationships with automata theory, temporal logics, model-checking, energy games and complexity theory.Stéphane Demri is a CNRS directeur de recherche at the Laboratoire Méthodes Formelles (LMF) and adjunct professor at the Computer Science Department, ENS Paris-Saclay, Gif-sur-Yvette, France.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 47.77
£ 55.64 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 7th International Joint Conference on Automated Reasoning, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. IJCAR 2014 was a merger of three le…ading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods). The 26 revised full research papers and 11 system descriptions presented together with 3 invited talks were carefully reviewed and selected from 83 submissions. The papers have been organized in topical sections on HOL, SAT and QBF, SMT, equational reasoning, verification, proof theory, modal and temporal reasoning, SMT and SAT, modal logic, complexity, description logics and knowledge representation and reasoning.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.97
£ 60.70 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Reasoning | 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings | Stéphane Demri (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxviii | Englisch | 2014 | Springer | EAN 9783319085869 | Veran…twortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: Revaluation Books, Exeter, , United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 70.30
£ 35.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2014 edition. 556 pages. 9.30x6.20x1.26 inches. In Stock.
Language: English
Published by Cambridge University Press 2016
Series: Cambridge Tracts in Theoretical Computer Science, Book 34 of 40. Book 34 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Books Puddle, New York, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 107.19
£ 3.02 shippingShips within U.S.A.Quantity: 1 available
Condition: New. pp. 780.
Language: English
Published by Cambridge University Press 2016
Series: Cambridge Tracts in Theoretical Computer Science, Book 34 of 40. Book 34 of 40 - Cambridge Tracts in Theoretical Computer Science
- Hardcover
Seller: Majestic Books, Hounslow, , United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 105.86
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Condition: New. pp. 780.
- Hardcover
Seller: CSG Onlinebuch GMBH, Darmstadt, , GermanyCSG Onlinebuch GMBH
Contact seller5-star sellerCondition: Used - Very good
£ 27.71
£ 82.38 shippingShips from Germany to U.S.A.Quantity: 1 available
Gebunden. Condition: Gut. Gebraucht - Gut Zustand: Gut, XVIII, 405 p. About this book: This monograph presents a systematic, exhaustive and up-to-date overview of formal methods and theories for data analysis and inference inspired by the concept of rough set. The book studies structures with incomplete information from the logi…cal, algebraic and computational perspective. The formalisms developed are non-invasive in that only the actual information is needed in the process of analysis without external sources of information being required. The book is intended for researchers, lecturers and graduate students who wish to get acquainted with the rough set style approach to information systems with incomplete information. Written for Researchers in the field.
