Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Modal Logic and Process Algebra

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

A Bisimulation Perspective

Alban Ponse

Maarten De Rijke

Yde Venema

Język

Angielski

Książka Twarda

Kod Libristo: 05012594

Wydawnictwo Centre for the Study of Language & Information, czerwiec 1995

Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Cały opis

Kod Libristo: 05012594

175 b

Zapowiedź

308.39 zł

Dodruk

Termin nieznany

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

78.22 zł

OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott

Miękka

603.90 zł

Historia de Yucatán Diego López de Cogolludo

Twarda

171.15 zł

Sagenerzahlerin und der Bronzeschmied Sina Blackwood

Miękka

33.42 zł

INTRODUCTION, VARIATIONS ET FINALE SUR LA LEGENDE DE SAINT NICOLAS E POUR ORGUE SCHMITT OLIVIER Książka

Miękka

110.14 zł

Dnes v noci zemřeš Viveca Sten

Twarda

27.58 zł

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.