Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Temporal Logics in Computer Science

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

Finite-State Systems

Stéphane Demri

Valentin Goranko

Martin Lange

Sprache

Englisch

Buch Hardcover

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

Libristo-Code: 02976255

380 b

157.05 €

50% Chance Wir werden die ganze Welt durchsuchen Wann bekomme ich das Buch?

Lieferung in Griechenland

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Uses of Argument Stephen E. Toulmin

Broschur

42.12 €

Mereology (Paperback) A. J. Cotnoir

Broschur

37.86 €

Eragon - Der Auftrag des Ältesten Christopher Paolini

Hardcover

22.67 €

Usability-Engineering in Der Medizintechnik Claus Backhaus

Hardcover

131.93 €

111 Kurzrezepte fur den Deutsch-Unterricht A. Wright

Buch

21.46 €

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

Hardcover

20.55 €

O Urso da Cultura sobre uma Sociedade Desumana Donovan Roebert

Broschur

44.55 €

Introduction à l'humanisme juridique

Broschur

35.74 €

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

Hardcover

104.09 €

Flash Smrt a zdroj rychlosti Joshua Williamson

Broschur

13.86 €

Romeo und Julia auf dem Dorfe Gottfried Keller

Hardcover

15.18 €

Breizh Café Bertrand Larcher

Broschur

31.08 €

Porno X

Broschur

12.55 €

Mon petit Château de Versailles en musique Émilie Collet

Hardcover

16.09 €

Výživa Karol Džupa

Hardcover

18.52 €

Pe Valurile Iubirii Lorena Lenn

Broschur

20.34 €

Birds of Costa Rica fotolulu

Hardcover

33.10 €

Burn out Daniel von Arx

Broschur

5.15 €

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

Broschur

33.71 €

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

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

Broschur

45.15 €

Introduction to the Philosophy of Logic Daniel Cohnitz

Broschur

38.06 €

Introduction to the Theory of Knowledge Noah Lemos

Broschur

54.87 €

Cambridge Companion to Kant's Critique of Pure Reason Paul Guyer

Hardcover

137.60 €

Higher-Order Computability John Longley

Hardcover

164.74 €

Art of Computer Programming, The Donald E. Knuth

Hardcover

77.15 €

Games for Vocabulary Practice Felicity O'Dell

Ring

59.94 €

Reading and the First World War Shafquat Towheed

Broschur

85.46 €

Reflections: The Legacy Of Lee Kuan Yew Mushahid Ali

Broschur

33.10 €

Paperback L.A. Book 1: A Casual Anthology: Clothes, Coffee, Crushes, Crimes Victoria Dailey

Broschur

18.12 €

My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 1 Satoru Yamaguchi

Broschur

12.04 €

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

Hardcover

40.19 €