Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Temporal Logics in Computer Science

Finite-State Systems

Sprache EnglischEnglisch
Buch Hardcover
Buch Temporal Logics in Computer Science Stéphane Demri
Libristo-Code: 02976255
Verlag Cambridge University Press, Oktober 2016
This comprehensive text provides a modern and technically precise exposition of the fundamental theo... Vollständige Beschreibung
? points 397 b
162.19 € inkl. MwSt.
50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Uses of Argument Stephen E. Toulmin / Buch Broschur
common.buy 41.59 €
Mereology (Paperback) A. J. Cotnoir / Buch Broschur
common.buy 37.39 €
Eragon - Der Auftrag des Ältesten Christopher Paolini / Buch Hardcover
common.buy 26.00 €
Usability-Engineering in Der Medizintechnik Claus Backhaus / Buch Hardcover
common.buy 139.99 €
111 Kurzrezepte fur den Deutsch-Unterricht A. Wright / Buch Buch
common.buy 22.19 €
Wojna koreańska. Wielki konflikt 1950-1953 Hastings Max / Buch Hardcover
common.buy 21.39 €
O Urso da Cultura sobre uma Sociedade Desumana Donovan Roebert / Buch Broschur
common.buy 46.59 €
Introduction à l'humanisme juridique / Buch Broschur
common.buy 36.79 €
Ludwig Feuerbach: Sämtliche Werke / Band 8: Vorlesungen über das Wesen der Religion Ludwig Feuerbach / Buch Hardcover
common.buy 107.99 €
Flash Smrt a zdroj rychlosti Joshua Williamson / Buch Broschur
common.buy 12.89 €
Romeo und Julia auf dem Dorfe Gottfried Keller / Buch Hardcover
common.buy 16.80 €
Breizh Café Bertrand Larcher / Buch Broschur
common.buy 31.99 €
Porno X / Buch Broschur
common.buy 12.99 €
Mon petit Château de Versailles en musique Émilie Collet / Buch Hardcover
common.buy 16.49 €
Výživa Karol Džupa / Buch Hardcover
common.buy 18.99 €
Pe Valurile Iubirii Lorena Lenn / Buch Broschur
common.buy 20.09 €
Birds of Costa Rica fotolulu / Buch Hardcover
common.buy 36.99 €
Burn out Daniel von Arx / Buch Broschur
common.buy 5.39 €
Les Indo-Europeens Avant l'Histoire Von Jhering-R / Buch Broschur
common.buy 33.29 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Temporal Logics in Computer Science
Autor Stéphane Demri, Valentin Goranko, Martin Lange
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2016
Anzahl der Seiten 752
EAN 9781107028364
ISBN 1107028361
Libristo-Code 02976255
Verlag Cambridge University Press
Gewicht 145
Abmessungen 258 x 186 x 47

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

An Introduction to the Philosophy of Science Kent W. Staley / Buch Broschur
common.buy 44.59 €
Introduction to the Philosophy of Logic Daniel Cohnitz / Buch Broschur
common.buy 39.49 €
Introduction to the Theory of Knowledge Noah Lemos / Buch Broschur
common.buy 54.19 €
Cambridge Companion to Kant's Critique of Pure Reason Paul Guyer / Buch Hardcover
common.buy 135.89 €
Higher-Order Computability John Longley / Buch Hardcover
common.buy 171.49 €
Art of Computer Programming, The Donald E. Knuth / Buch Hardcover
common.buy 76.19 €
Games for Vocabulary Practice Felicity O'Dell / Buch Ring
common.buy 59.19 €
Reading and the First World War Shafquat Towheed / Buch Broschur
common.buy 88.59 €
Reflections: The Legacy Of Lee Kuan Yew Mushahid Ali / Buch Broschur
common.buy 32.69 €
Paperback L.A. Book 1: A Casual Anthology: Clothes, Coffee, Crushes, Crimes Victoria Dailey / Buch Broschur
common.buy 18.89 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 1 Satoru Yamaguchi / Buch Broschur
common.buy 11.89 €
Essays on the Nature and Immutability of Truth, in Opposition to Sophistry and Scepticism; on Poetry and Music, as They Affect the Mind; on Laughter, JAMES BEATTIE / Buch Hardcover
common.buy 39.69 €
Mastering KVM Virtualization Vedran Dakic / Buch Broschur
common.buy 58.29 €
Storm for the Living and the Dead Charles Bukowski / Buch Hardcover
common.buy 21.59 €
Introverted Lawyer Heidi K Brown / Buch Broschur
common.buy 22.29 €
Palgrave Handbook of Anarchism Matthew S. Adams / Buch Broschur
common.buy 355.79 €
Top
Pop-up Workshop for Kids: Fold, Cut, Paint and Glue Antje Von Stemm / Buch Broschur
common.buy 22.59 €
Summer Demands / Buch Broschur
common.buy 16.49 €
Foundations of Public Law Martin Loughlin / Buch Broschur
common.buy 70.79 €
Top
The Wheel of Time Box Set 4 Robert Jordan / Buch Broschur
common.buy 38.89 €
Land Tenure, Boundary Surveys, and Cadastral Systems George M. Cole / E-Book Adobe ePub DRM
common.buy 60.69 €
You Never Forget Your First Earl Ella Quinn / E-Book Adobe ePub DRM
common.buy 9.59 €
Best of Bova, Vol. 2 Ben Bova / Hörbuch MP3
common.buy 23.99 €
C-programming Chandan M. / Buch Broschur
common.buy 33.79 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?