Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Temporal Logics in Computer Science

Finite-State Systems

Limba englezăengleză
Carte Copertă tare
Carte Temporal Logics in Computer Science Stéphane Demri
Codul Libristo: 02976255
Editura Cambridge University Press, octombrie 2016
This comprehensive text provides a modern and technically precise exposition of the fundamental theo... Descrierea completă
? points 397 b
859.61 lei
șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Uses of Argument Stephen E. Toulmin / Carte Carte broșată
common.buy 220.28 lei
Mereology (Paperback) A. J. Cotnoir / Carte Carte broșată
common.buy 198.12 lei
Eragon - Der Auftrag des Ältesten Christopher Paolini / Carte Copertă tare
common.buy 125.84 lei
Usability-Engineering in Der Medizintechnik Claus Backhaus / Carte Copertă tare
common.buy 728.56 lei
111 Kurzrezepte fur den Deutsch-Unterricht A. Wright / Carte Carte
common.buy 117.62 lei
Wojna koreańska. Wielki konflikt 1950-1953 Hastings Max / Carte Copertă tare
common.buy 107.64 lei
O Urso da Cultura sobre uma Sociedade Desumana Donovan Roebert / Carte Carte broșată
common.buy 246.90 lei
Introduction à l'humanisme juridique / Carte Carte broșată
common.buy 186.89 lei
Ludwig Feuerbach: Sämtliche Werke / Band 8: Vorlesungen über das Wesen der Religion Ludwig Feuerbach / Carte Copertă tare
common.buy 545.19 lei
Flash Smrt a zdroj rychlosti Joshua Williamson / Carte Carte broșată
common.buy 72.59 lei
Romeo und Julia auf dem Dorfe Gottfried Keller / Carte Copertă tare
common.buy 84.23 lei
Breizh Café Bertrand Larcher / Carte Carte broșată
common.buy 162.66 lei
Porno X / Carte Carte broșată
common.buy 65.83 lei
Mon petit Château de Versailles en musique Émilie Collet / Carte Copertă tare
common.buy 84.03 lei
Výživa Karol Džupa / Carte Copertă tare
common.buy 96.82 lei
Pe Valurile Iubirii Lorena Lenn / Carte Carte broșată
common.buy 106.29 lei
Birds of Costa Rica fotolulu / Carte Copertă tare
common.buy 183.67 lei
Burn out Daniel von Arx / Carte Carte broșată
common.buy 28.38 lei
Les Indo-Europeens Avant l'Histoire Von Jhering-R / Carte Carte broșată
common.buy 176.49 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Temporal Logics in Computer Science
Autor Stéphane Demri, Valentin Goranko, Martin Lange
Limba engleză
Legare Carte - Copertă tare
Data publicării 2016
Număr pagini 752
EAN 9781107028364
ISBN 1107028361
Codul Libristo 02976255
Editura Cambridge University Press
Greutatea 145
Dimensiuni 258 x 186 x 47

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

An Introduction to the Philosophy of Science Kent W. Staley / Carte Carte broșată
common.buy 214.87 lei
Introduction to the Philosophy of Logic Daniel Cohnitz / Carte Carte broșată
common.buy 209.46 lei
Introduction to the Theory of Knowledge Noah Lemos / Carte Carte broșată
common.buy 287.15 lei
Cambridge Companion to Kant's Critique of Pure Reason Paul Guyer / Carte Copertă tare
common.buy 720.55 lei
Higher-Order Computability John Longley / Carte Copertă tare
common.buy 909.22 lei
Art of Computer Programming, The Donald E. Knuth / Carte Copertă tare
common.buy 403.95 lei
Games for Vocabulary Practice Felicity O'Dell / Carte Cu spiră
common.buy 314.09 lei
Reading and the First World War Shafquat Towheed / Carte Carte broșată
common.buy 447.22 lei
Reflections: The Legacy Of Lee Kuan Yew Mushahid Ali / Carte Carte broșată
common.buy 173.27 lei
Paperback L.A. Book 1: A Casual Anthology: Clothes, Coffee, Crushes, Crimes Victoria Dailey / Carte Carte broșată
common.buy 100.25 lei
My Next Life as a Villainess: All Routes Lead to Doom! (Manga) Vol. 1 Satoru Yamaguchi / Carte Carte broșată
common.buy 63.23 lei
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 / Carte Copertă tare
common.buy 210.29 lei
Mastering KVM Virtualization Vedran Dakic / Carte Carte broșată
common.buy 309.31 lei
Storm for the Living and the Dead Charles Bukowski / Carte Copertă tare
common.buy 107.84 lei
Introverted Lawyer Heidi K Brown / Carte Carte broșată
common.buy 118.04 lei
Palgrave Handbook of Anarchism Matthew S. Adams / Carte Carte broșată
common.buy 1 714.34 lei
Top
Pop-up Workshop for Kids: Fold, Cut, Paint and Glue Antje Von Stemm / Carte Carte broșată
common.buy 113.25 lei
Summer Demands / Carte Carte broșată
common.buy 87.25 lei
Foundations of Public Law Martin Loughlin / Carte Carte broșată
common.buy 356.32 lei
Top
The Wheel of Time Box Set 4 Robert Jordan / Carte Carte broșată
common.buy 206.24 lei
Land Tenure, Boundary Surveys, and Cadastral Systems George M. Cole / E-book Adobe ePub DRM
common.buy 307.54 lei
You Never Forget Your First Earl Ella Quinn / E-book Adobe ePub DRM
common.buy 47.83 lei
Best of Bova, Vol. 2 Ben Bova / Audiobook MP3
common.buy 121.05 lei
C-programming Chandan M. / Carte Carte broșată
common.buy 179.09 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?