Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Temporal Logics in Computer Science

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

Finite-State Systems

Stéphane Demri

Valentin Goranko

Martin Lange

Език

Английски език

Книга С твърди корици

Код Либристо: 02976255

Издателство Cambridge University Press, октомври 2016

This comprehensive text provides a modern and technically precise exposition of the fundamental theo... Цялото описание

Код Либристо: 02976255

397 b

164.26 €

321.26 лв

50% вероятност Ще претърсим света Кога ще получа книгата?

30 дни за връщане на стоката

Клиентите са закупили също

Uses of Argument Stephen E. Toulmin

С меки корици

40.23 € 78.69 лв

Mereology (Paperback) A. J. Cotnoir

С меки корици

36.35 € 71.09 лв

Eragon - Der Auftrag des Ältesten Christopher Paolini

С твърди корици

24.02 € 46.99 лв

Usability-Engineering in Der Medizintechnik Claus Backhaus

С твърди корици

139.19 € 272.24 лв

111 Kurzrezepte fur den Deutsch-Unterricht A. Wright

Книга

22.47 € 43.95 лв

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

С твърди корици

21.69 € 42.43 лв

O Urso da Cultura sobre uma Sociedade Desumana Donovan Roebert

С меки корици

47.17 € 92.26 лв

Introduction à l'humanisme juridique

С меки корици

37.23 € 72.81 лв

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

С твърди корици

109.37 € 213.90 лв

Flash Smrt a zdroj rychlosti Joshua Williamson

С меки корици

13.87 € 27.13 лв

Romeo und Julia auf dem Dorfe Gottfried Keller

С твърди корици

16.10 € 31.49 лв

Breizh Café Bertrand Larcher

С меки корици

32.41 € 63.39 лв

Porno X

С меки корици

13.10 € 25.61 лв

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

С твърди корици

16.72 € 32.70 лв

Výživa Karol Džupa

С твърди корици

19.26 € 37.67 лв

Pe Valurile Iubirii Lorena Lenn

С меки корици

19.31 € 37.77 лв

Birds of Costa Rica fotolulu

С твърди корици

35.11 € 68.66 лв

Burn out Daniel von Arx

С меки корици

5.43 € 10.62 лв

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

С меки корици

32.26 € 63.09 лв

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.

Героиня & Полиглот

EWA KASP за

Пусни видеото

В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

Информация за книгата

Пълно заглавие Temporal Logics in Computer Science

Автор Stéphane Demri, Valentin Goranko, Martin Lange

Език

Английски език

Корици Книга - С твърди корици

Дата на издаване 2016

Брой страници 752

Баркод 9781107028364

ISBN 1107028361

Код Либристо 02976255

Издателство Cambridge University Press

Тегло 145

Размери 258 x 186 x 47

Може би ще Ви заинтересува

An Introduction to the Philosophy of Science Kent W. Staley

С меки корици

43.13 € 84.36 лв

Introduction to the Philosophy of Logic Daniel Cohnitz

С меки корици

40.03 € 78.28 лв

Introduction to the Theory of Knowledge Noah Lemos

С меки корици

52.61 € 102.89 лв

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

С твърди корици

131.58 € 257.35 лв

Higher-Order Computability John Longley

С твърди корици

173.74 € 339.80 лв

Art of Computer Programming, The Donald E. Knuth

С твърди корици

73.43 € 143.61 лв

Games for Vocabulary Practice Felicity O'Dell

Със спирала

60.01 € 117.38 лв

Reading and the First World War Shafquat Towheed

С меки корици

89.69 € 175.41 лв

Reflections: The Legacy Of Lee Kuan Yew Mushahid Ali

С меки корици

31.69 € 61.98 лв

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

С меки корици

19.16 € 37.46 лв

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

С меки корици

12.68 € 24.80 лв

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

С твърди корици

38.32 € 74.94 лв