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 Kurier 12.99 zł Punkt DPD 11.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 83 b Zapowiedź Zapowiedź
149.57 zł
Dodruk Termin nieznany Termin nieznany
Podaj swój e-mail, a my odezwiemy się do Ciebie, gdy książka będzie ponownie dostępna.

Nawet do 30 dni na zwrot

Klienci kupili także

El viaje de las palabras ANDREA MARCOLONGO / Książka Twarda
common.buy 103.27 zł
Ultreïa ! Ils sont de retour... Joanny / Książka Miękka
common.buy 45.05 zł
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Książka Twarda
common.buy 78.07 zł
Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-book Adobe ePub DRM
common.buy 47.62 zł
Tí, čo nás predišli Martin Uher / Książka Miękka
common.buy 21.70 zł
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Książka Twarda
common.buy 181.87 zł
Un verano dorado Carley Fortune / Książka Książka
common.buy 81.16 zł
Kanapky Kristina Sarisová / Książka Twarda
common.buy 58.32 zł
Vestige K.J. Charles / Książka Miękka
common.buy 60.89 zł
Soigner l'adolescent en art-thérapie - 2ème édition Jean-Luc Sudres / Książka Książka
common.buy 209.23 zł
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Książka Miękka
common.buy 72.00 zł
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Książka Miękka
common.buy 64.49 zł
Dědečkův velký útěk David Walliams / Audio CD Audio
common.buy 46.69 zł
Augustus und der Ritterstand Wladimir Danilow / Książka Miękka
common.buy 70.36 zł
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Książka Miękka
common.buy 60.68 zł
1.1.-30.6.2004 Manfred Baldus / Książka Twarda
common.buy 944.36 zł
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Gra/Zabawka Zabawka
common.buy 30.34 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 190.10 zł
Liebermann Hubert Knackfuß / Książka Miękka
common.buy 66.24 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ć

20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Książka Miękka
common.buy 44.84 zł
Te Ika a Maui, or, New Zealand and its Inhabitants. Second edition, etc. Richard M a Taylor / Książka Miękka
common.buy 149.77 zł
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Książka Miękka
common.buy 72.31 zł
Hero in Me Teacher's Guide Judy Dick / E-book Adobe ePub DRM
common.buy 135.06 zł
Guitar Chords - Major 7 Chords Dan Lupo / Książka Miękka
common.buy 38.98 zł
More Than a Woman a Woman Marine Karen Haynes / Książka Miękka
common.buy 59.04 zł
American Legal System and Civic Engagement Kenneth Manaster / Książka Miękka
common.buy 208.62 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 129.30 zł
Modern Education M. S. Avezova / Książka Miękka
common.buy 46.28 zł
NoMeansNo Mark Black / Książka Miękka
common.buy 60.89 zł
Mothers Recompense Grace Aguilar / Książka Twarda
common.buy 193.39 zł
Secretive Sara Rosett / Książka Miękka
common.buy 49.37 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 207.38 zł
Zapowiedź
Hammershoi Frank Claustrat / Książka Twarda
common.buy 194.32 zł
Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Książka Miękka
common.buy 103.58 zł
Next Generation Computer Animation Techniques Jian Chang / E-book Adobe ePub DRM
common.buy 262.83 zł
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Książka Twarda
common.buy 1 041.27 zł
Vedic Value System: A Keyto Modern World Crisis Dr Ravi Prakash Arya / Książka Miękka
common.buy 44.84 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 50.81 zł
Anti-Group Morris Nitsun / E-book Adobe ePub DRM
common.buy 238.66 zł
Murder on the East Coast Dianne Harman / Książka Miękka
common.buy 64.49 zł
3,585 Miles to be an American Girl Nury Castillo Crawford / Książka Miękka
common.buy 64.29 zł
Spirit Animal Oracle Colette Baron-Reid / Prasa Karty
common.buy 116.55 zł
The Next Great Paulie Fink Ali Benjamin / Książka Twarda
common.buy 131.05 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