Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
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
0
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ł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Modal Logic and Process Algebra

A Bisimulation Perspective

Język AngielskiAngielski
Książka Miękka
Książka Modal Logic and Process Algebra Alban Ponse
Kod Libristo: 05012595
Wydawnictwo Centre for the Study of Language & Information, czerwiec 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Cały opis
? points 84 b Zapowiedź Zapowiedź
147.47 zł
Dodruk Termin nieznany Termin nieznany

30 dni na zwrot towaru

Klienci kupili także

Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-book Adobe ePub DRM
common.buy 46.73 zł
El viaje de las palabras ANDREA MARCOLONGO / Książka Twarda
common.buy 100.93 zł
Tí, čo nás predišli Martin Uher / Książka Miękka
common.buy 21.65 zł
Liebermann Hubert Knackfuß / Książka Miękka
common.buy 81.89 zł
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Książka Twarda
common.buy 202.37 zł
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Książka Miękka
common.buy 70.51 zł
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Książka Miękka
common.buy 63.15 zł
Dědečkův velký útěk David Walliams / Audio CD Audio
common.buy 45.73 zł
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Książka Twarda
common.buy 126.82 zł
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Książka Miękka
common.buy 59.43 zł
1.1.-30.6.2004 Manfred Baldus / Książka Twarda
common.buy 1 057.14 zł
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Gra/Zabawka Zabawka
common.buy 30.01 zł
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Książka Miękka
common.buy 212.55 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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Modal Logic and Process Algebra
Autor Alban Ponse, Maarten De Rijke, Yde Venema
Język Angielski
Oprawa Książka - Miękka
Data wydania 1996
Liczba stron 352
EAN 9781881526964
ISBN 1881526968
Kod Libristo 05012595
Wydawnictwo Centre for the Study of Language & Information
Waga 482
Wymiary 152 x 228 x 20

Kategoria

Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Książka Miękka
common.buy 101.43 zł
Budgetary Control in Modern Organisation Israel Davidson / Książka Miękka
common.buy 349.35 zł
Hero in Me Teacher's Guide Judy Dick / E-book Adobe ePub DRM
common.buy 131.35 zł
Guitar Chords - Major 7 Chords Dan Lupo / Książka Miękka
common.buy 38.17 zł
American Legal System and Civic Engagement Kenneth Manaster / Książka Miękka
common.buy 226.95 zł
Modern Education M. S. Avezova / Książka Miękka
common.buy 45.32 zł
NoMeansNo Mark Black / Książka Miękka
common.buy 63.15 zł
Secretive Sara Rosett / Książka Miękka
common.buy 48.34 zł
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Książka Leporelo
common.buy 202.88 zł
Zapowiedź
Hammershoi Frank Claustrat / Książka Twarda
common.buy 190.28 zł
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Książka Miękka
common.buy 70.81 zł
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Książka Twarda
common.buy 919.43 zł
Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous / Książka Miękka
common.buy 74.23 zł
Spirit Animal Oracle Colette Baron-Reid / Prasa Karty
common.buy 114.13 zł
The Next Great Paulie Fink Ali Benjamin / Książka Twarda
common.buy 125.91 zł
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Książka Miękka
common.buy 102.34 zł
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Książka Miękka
common.buy 43.91 zł
Mothers Recompense Grace Aguilar / Książka Twarda
common.buy 235.11 zł
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Książka Miękka
common.buy 126.62 zł
Analysis and Design of Elastic Beams: Computationa Methods Walter D. Pilkey / Książka Twarda
common.buy 661.84 zł
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Książka Miękka
common.buy 219.80 zł
What to Do for a Pain in the Neck Jerome Schofferman / Książka Miękka
common.buy 72.92 zł
Medieval Horse and its Equipment, c.1150-1450 John Clark / Książka Miękka
common.buy 114.43 zł
Doing Time Roger Matthews / Książka Miękka
common.buy 487.26 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?