Проверка на състоянието на поръчката
LIBRISTO
LIBROAMANTO
задължително
Забравена парола
Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт
0
Безплатна доставка със Еконт над 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 €
phone Контакт phoneКак се пазарува?
Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Modal Logic and Process Algebra

A Bisimulation Perspective

Език Английски езикАнглийски език
Книга С твърди корици
Книга Modal Logic and Process Algebra Alban Ponse
Код Либристо: 05012594
Издателство Centre for the Study of Language & Information, юни 1995
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Цялото описание
? points 184 b Подготвяме Подготвяме
75.78 €
148.21  лв
Очаква се допечатка Срокът не е известен Срокът не е известен

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

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

Mes Amusemens Dans La Prison de Sainte-Pelagie Saint-Desire / Книга С меки корици
common.buy 18.38 € 35.96 лв
OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott / Книга С меки корици
common.buy 148.61 € 290.66 лв
Historia de Yucatán Diego López de Cogolludo / Книга С твърди корици
common.buy 40.18 € 78.59 лв
Sagenerzahlerin und der Bronzeschmied Sina Blackwood / Книга С меки корици
common.buy 8.21 € 16.05 лв
INTRODUCTION, VARIATIONS ET FINALE SUR LA LEGENDE DE SAINT NICOLAS E POUR ORGUE SCHMITT OLIVIER Книга С меки корици
common.buy 27.06 € 52.93 лв
Dnes v noci zemřeš Viveca Sten / Книга С твърди корици
common.buy 6.87 € 13.43 лв
Kritické myslenie pre stredné školy PZ Jakub Kobela / Книга С меки корици
common.buy 16.11 € 31.51 лв

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus form a research field of common interest to logicians and theoretical computer scientists. In computer science, this notion is a fundamental one in the formal analysis of programming languages, in particular in process theory. In modal logic, transition systems are the central object of study under the name of Kripke models. This volume collects a number of research papers on modal logic and process theory. Its unifying theme is the notion of a bisimulation. Bisimulations are relations over transition systems, and provide a key tool in identifying the processes represented by these structures. The volume offers an up-to-date overview of perspectives on labelled transition systems and bisimulations.

Героиня & Полиглот
EWA KASP за
Пусни видеото
Ewa Kasp
В Libristo има най-богатия избор от чуждоезична литература. Затова купувам книгите си тук.

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

Пълно заглавие Modal Logic and Process Algebra
Автор Alban Ponse, Maarten De Rijke, Yde Venema
Език Английски език
Корици Книга - С твърди корици
Дата на издаване 1995
Брой страници 352
Баркод 9781881526957
ISBN 188152695X
Код Либристо 05012594
Издателство Centre for the Study of Language & Information
Тегло 648
Размери 152 x 228 x 24

Категории

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science > Mathematical theory of computation
Mathematics & Science > Science: general issues
Computing & Information Technology > Computer programming / software engineering
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателя

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

Dead Silence Kimberly Derting / Книга С меки корици
common.buy 12.65 € 24.74 лв
How to Talk to Data Scientists Jeremy / Книга С меки корици
common.buy 20.86 € 40.81 лв
Feather on the Breath of God Sigrid Nunez / Книга С меки корици
common.buy 12.65 € 24.74 лв
Top
Keeping a Nature Journal, 3rd Edition: Deepen Your Connection with the Natural World All Around You Clare Walker Leslie / Книга С меки корици
common.buy 19.42 € 37.98 лв
Open Door Daniel S. Hamilton / Книга С меки корици
common.buy 31.45 € 61.52 лв
Should I Sue?: Ancient and Modern Wisdom on the Rights and Wrongs of Litigation Andrew Thelander / Книга С меки корици
common.buy 8.10 € 15.85 лв
Integrity is Everything John Lavenia / Книга С меки корици
common.buy 19.26 € 37.68 лв
Greenwood Donny Whitehead / Книга С меки корици
common.buy 22.10 € 43.23 лв
Mathematical Methods of Quantum Physics: 2nd Jagna International Workshop C. C. Bernido / Книга С твърди корици
common.buy 234.73 € 459.08 лв
Restoration in Russia Boris Kagarlitsky / Книга С меки корици
common.buy 17.20 € 33.63 лв
Shakespeare and the Poets' War James Bednarz / Книга С меки корици
common.buy 49.02 € 95.87 лв
Engaging the Public with Climate Change Lorraine Whitmarsh / Книга С твърди корици
common.buy 208.85 € 408.47 лв
Man for Himself Erich Fromm / Книга С меки корици
common.buy 25.93 € 50.71 лв
Patience of the Spider Andrea Camilleri / Книга С меки корици
common.buy 17.51 € 34.24 лв
Journal Of Stephen Watts Kearny - Part I Stephen Watts Kearny / Книга С меки корици
common.buy 15.85 € 31.01 лв
Lanthanide-Doped Luminescent Nanomaterials Xueyuan Chen / Книга С твърди корици
common.buy 108.42 € 212.06 лв
Pests of Stored Foodstuffs and their Control Dennis S. Hill / Книга С твърди корици
common.buy 162.51 € 317.84 лв

Вход

Влезте в акаунта си. Още нямате акаунт за Libristo? Създайте го сега!

 
задължително
задължително
Забравена парола

Нямате акаунт? Използвайте предимствата на акаунта за Libristo!

Благодарение на акаунта за Libristo държите всичко под контрол.

Създаване на акаунт за Libristo
Книжен съветник Libroamiko
Здравейте, аз съм Libroamiko, мога ли да помогна?