Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Temporal Logics in Computer Science

Finite-State Systems

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Temporal Logics in Computer Science Stéphane Demri
Libristo-code: 02976255
Uitgeverij Cambridge University Press, oktober 2016
This comprehensive text provides a modern and technically precise exposition of the fundamental theo... Volledige beschrijving
? points 380 b
157.08 €
50% kans We doorzoeken de hele wereld Wanneer krijg ik het boek?

Retourneren binnen 30 dagen

Klanten kochten ook

Uses of Argument Stephen E. Toulmin / Boek Gebonden (paperback)
common.buy 40.20 €
Mereology (Paperback) A. J. Cotnoir / Boek Gebonden (paperback)
common.buy 36.35 €
Eragon - Der Auftrag des Ältesten Christopher Paolini / Boek Gebonden (harde band)
common.buy 22.68 €
Usability-Engineering in Der Medizintechnik Claus Backhaus / Boek Gebonden (harde band)
common.buy 131.96 €
111 Kurzrezepte fur den Deutsch-Unterricht A. Wright / Boek Boek
common.buy 21.46 €
Wojna koreańska. Wielki konflikt 1950-1953 Hastings Max / Boek Gebonden (harde band)
common.buy 20.55 €
O Urso da Cultura sobre uma Sociedade Desumana Donovan Roebert / Boek Gebonden (paperback)
common.buy 44.55 €
Introduction à l'humanisme juridique / Boek Gebonden (paperback)
common.buy 35.74 €
Ludwig Feuerbach: Sämtliche Werke / Band 8: Vorlesungen über das Wesen der Religion Ludwig Feuerbach / Boek Gebonden (harde band)
common.buy 109.38 €
Flash Smrt a zdroj rychlosti Joshua Williamson / Boek Gebonden (paperback)
common.buy 13.06 €
Romeo und Julia auf dem Dorfe Gottfried Keller / Boek Gebonden (harde band)
common.buy 15.18 €
Breizh Café Bertrand Larcher / Boek Gebonden (paperback)
common.buy 31.08 €
Porno X / Boek Gebonden (paperback)
common.buy 12.55 €
Mon petit Château de Versailles en musique Émilie Collet / Boek Gebonden (harde band)
common.buy 16.09 €
Výživa Karol Džupa / Boek Gebonden (harde band)
common.buy 18.52 €
Pe Valurile Iubirii Lorena Lenn / Boek Gebonden (paperback)
common.buy 19.33 €
Birds of Costa Rica fotolulu / Boek Gebonden (harde band)
common.buy 33.11 €
Burn out Daniel von Arx / Boek Gebonden (paperback)
common.buy 5.16 €
Les Indo-Europeens Avant l'Histoire Von Jhering-R / Boek Gebonden (paperback)
common.buy 32.20 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Temporal Logics in Computer Science
Auteur Stéphane Demri, Valentin Goranko, Martin Lange
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2016
Aantal pagina's 752
EAN 9781107028364
ISBN 1107028361
Libristo-code 02976255
Uitgeverij Cambridge University Press
Gewicht 145
Afmetingen 258 x 186 x 47

Categorieën

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

An Introduction to the Philosophy of Science Kent W. Staley / Boek Gebonden (paperback)
common.buy 43.14 €
Introduction to the Philosophy of Logic Daniel Cohnitz / Boek Gebonden (paperback)
common.buy 40.00 €
Introduction to the Theory of Knowledge Noah Lemos / Boek Gebonden (paperback)
common.buy 52.66 €
Cambridge Companion to Kant's Critique of Pure Reason Paul Guyer / Boek Gebonden (harde band)
common.buy 131.56 €
Higher-Order Computability John Longley / Boek Gebonden (harde band)
common.buy 164.78 €
Art of Computer Programming, The Donald E. Knuth / Boek Gebonden (harde band)
common.buy 73.42 €
Games for Vocabulary Practice Felicity O'Dell / Boek Ringband
common.buy 59.95 €
Reading and the First World War Shafquat Towheed / Boek Gebonden (paperback)
common.buy 89.73 €
Reflections: The Legacy Of Lee Kuan Yew Mushahid Ali / Boek Gebonden (paperback)
common.buy 31.69 €
Paperback L.A. Book 1: A Casual Anthology: Clothes, Coffee, Crushes, Crimes Victoria Dailey / Boek Gebonden (paperback)
common.buy 18.12 €
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 1 Satoru Yamaguchi / Boek Gebonden (paperback)
common.buy 12.65 €
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 / Boek Gebonden (harde band)
common.buy 38.27 €
Mastering KVM Virtualization Vedran Dakic / Boek Gebonden (paperback)
common.buy 56.30 €
Storm for the Living and the Dead Charles Bukowski / Boek Gebonden (harde band)
common.buy 21.87 €
Introverted Lawyer Heidi K Brown / Boek Gebonden (paperback)
common.buy 21.56 €
Palgrave Handbook of Anarchism Matthew S. Adams / Boek Gebonden (paperback)
common.buy 343.95 €
TOP
Pop-up Workshop for Kids: Fold, Cut, Paint and Glue Antje Von Stemm / Boek Gebonden (paperback)
common.buy 21.66 €
Summer Demands / Boek Gebonden (paperback)
common.buy 15.79 €
Foundations of Public Law Martin Loughlin / Boek Gebonden (paperback)
common.buy 68.05 €
TOP
The Wheel of Time Box Set 4 Robert Jordan / Boek Gebonden (paperback)
common.buy 39.39 €
Land Tenure, Boundary Surveys, and Cadastral Systems George M. Cole / E-book Adobe ePub DRM
common.buy 58.73 €
You Never Forget Your First Earl Ella Quinn / E-book Adobe ePub DRM
common.buy 9.11 €
Best of Bova, Vol. 2 Ben Bova / Luisterboek MP3
common.buy 23.08 €
C-programming Chandan M. / Boek Gebonden (paperback)
common.buy 32.60 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?