Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 5.49 € GLS courier 10.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Temporal Logics in Computer Science

Name: Temporal Logics in Computer Science
Brand: Cambridge University Press
SKU: 02976255
Price: 162.16 EUR
Availability: InStock
Author: Stéphane Demri
ISBN: 9781107028364

Finite-State Systems

Stéphane Demri

Valentin Goranko

Martin Lange

Language

English

Book Hardback

Libristo code: 02976255

Publishers Cambridge University Press, October 2016

This comprehensive text provides a modern and technically precise exposition of the fundamental theo... Full description

Libristo code: 02976255

396 b

162.16 €

Delivery after Christmas ▾ 50 % chance We search the world When will I receive my book?

Up to 30 days for returns

Customers also purchased

Uses of Argument Stephen E. Toulmin

Paperback

40.86 €

Mereology (Paperback) A. J. Cotnoir

Paperback

36.25 €

TRESCHER Reiseführer Breslau und Niederschlesien Klaus Klöppel

Paperback

16.92 €

Langues et discours face à la guerre en Ukraine Volume 1 Zaytseva

Book

32.94 €

Flash Smrt a zdroj rychlosti Joshua Williamson

Paperback

12.91 €

Ludwig Feuerbach: Sämtliche Werke / Band 8: Vorlesungen über das Wesen der Religion Ludwig Feuerbach

Hardback

102.76 €

O Urso da Cultura sobre uma Sociedade Desumana Donovan Roebert

Paperback

44.06 €

Funko POP: Harry Potter - Neville Longbottom #194 Game/Toy

Toy

17.82 €

Geschichte Des Abfalls Der Griechen Vom Türkischen Reiche Im Jahre 1821 Und Der Gründung Des Hellenischen Königreiches: Aus Diplomatischem Standpuncte Akademie Der Wissenschaften In Wien

Paperback

27.33 €

pista anarchica. Dai pacchi bomba al caso Cospito Mario Di Vito

Paperback

20.02 €

Wojna koreańska. Wielki konflikt 1950-1953 Hastings Max

Hardback

19.72 €

Usability-Engineering in Der Medizintechnik Claus Backhaus

Hardback

130.50 €

Eragon - Der Auftrag des Ältesten Christopher Paolini

Hardback

25.53 €

Neuromodulazione Luciano Rezende Vilela

Paperback

70.40 €

111 Kurzrezepte fur den Deutsch-Unterricht A. Wright

Book

21.22 €

Introduction à l'humanisme juridique

Paperback

34.15 €

ESPRIT & VIE 141 ES141 Esprit & Vie

Paperback

5.90 €

Les Indo-Europeens Avant l'Histoire Von Jhering-R

Paperback

32.14 €

Osservare l'universo... oltre le stelle, sino al Big Bang Paolo De Bernardis

Paperback

12.91 €

Burn out Daniel von Arx

Paperback

5.40 €

Birds of Costa Rica fotolulu

Hardback

32.74 €

Pe Valurile Iubirii Lorena Lenn

Paperback

19.62 €

Yoga: Carnet de yoga Méditation & bien-?tre 120 pages Format A5 5,5 x 8,5 Les Carnets de Choupichou Editions

Paperback

7.60 €

Adolf Diesterweg: Darstellung Seines Lebens Und Seiner Lehre Und Auswahl Aus Scinen Schriften, Volume 2 Friedrich Adolph Wilhelm Diesterweg

Paperback

27.33 €

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 most 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.