Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Modal Logic and Process Algebra

Name: Modal Logic and Process Algebra
Brand: Centre for the Study of Language & Information
SKU: 05012594
Price: 1755 CZK
Availability: PreOrder
Author: Alban Ponse
ISBN: 9781881526957

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05012594

Nakladatelství Centre for the Study of Language & Information, červen 1995

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Celý popis

Libristo kód: 05012594

176 b

Připravujeme

1 755 Kč

Očekávaný dotisk

Termín neznámý

30 dní na vrácení zboží

Zákazníci také koupili

Mes Amusemens Dans La Prison de Sainte-Pelagie Saint-Desire

Brožovaná

423 Kč

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott

Brožovaná

3 436 Kč

Historia de Yucatán Diego López de Cogolludo

Pevná

927 Kč

Sagenerzahlerin und der Bronzeschmied Sina Blackwood

Brožovaná

181 Kč

INTRODUCTION, VARIATIONS ET FINALE SUR LA LEGENDE DE SAINT NICOLAS E POUR ORGUE SCHMITT OLIVIER Kniha

Brožovaná

627 Kč

Dnes v noci zemřeš Viveca Sten

Pevná

169 Kč

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.