Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Modal Logic and Process Algebra

A Bisimulation Perspective

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Modal Logic and Process Algebra Alban Ponse
Koda Libristo: 05012595
Založba Centre for the Study of Language & Information, junij 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Celoten opis
? points 75 b Kmalu Kmalu
31.06 €
Pričakovani ponatis Datum neznan Datum neznan

Do 30 dni za vračilo

Drugi so kupili tudi

El viaje de las palabras ANDREA MARCOLONGO / Knjiga Trda
common.buy 21.47 €
Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-knjiga Adobe ePub DRM
common.buy 9.87 €
Tí, čo nás predišli Martin Uher / Knjiga Mehka
common.buy 4.23 €
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Knjiga Trda
common.buy 39.13 €
Augustus und der Ritterstand Wladimir Danilow / Knjiga Mehka
common.buy 15.12 €
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Knjiga Mehka
common.buy 15.62 €
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Knjiga Mehka
common.buy 14.01 €
Dědečkův velký útěk David Walliams / Zvok Zvočni CD
common.buy 13.20 €
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Knjiga Trda
common.buy 16.94 €
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Knjiga Mehka
common.buy 12.40 €
1.1.-30.6.2004 Manfred Baldus / Knjiga Trda
common.buy 205.35 €
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Igra/Igrača Igrača
common.buy 6.45 €
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Knjiga Mehka
common.buy 41.04 €
Liebermann Hubert Knackfuß / Knjiga Mehka
common.buy 14.31 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Modal Logic and Process Algebra
Avtor Alban Ponse, Maarten De Rijke, Yde Venema
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 1996
Število strani 352
EAN 9781881526964
ISBN 1881526968
Koda Libristo 05012595
Založba Centre for the Study of Language & Information
Teža 482
Mere 152 x 228 x 20

Kategorije

Computing & Information Technology > Computer science > Mathematical theory of computation
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

The Next Great Paulie Fink Ali Benjamin / Knjiga Trda
common.buy 28.13 €
Consumption Takes Time Steedman / Knjiga Mehka
common.buy 66.66 €
Budgetary Control in Modern Organisation Israel Davidson / Knjiga Mehka
common.buy 77.86 €
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Knjiga Mehka
common.buy 9.77 €
Te Ika a Maui, or, New Zealand and its Inhabitants. Second edition, etc. Richard M a Taylor / Knjiga Mehka
common.buy 32.67 €
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Knjiga Mehka
common.buy 17.54 €
Modern Education M. S. Avezova / Knjiga Mehka
common.buy 9.98 €
Guitar Chords - Major 7 Chords Dan Lupo / Knjiga Mehka
common.buy 8.56 €
More Than a Woman a Woman Marine Karen Haynes / Knjiga Mehka
common.buy 14.92 €
American Legal System and Civic Engagement Kenneth Manaster / Knjiga Mehka
common.buy 45.38 €
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Knjiga Mehka
common.buy 22.79 €
On the Shoulders of Giants M.E. Lines / Knjiga Mehka
common.buy 58.79 €
NoMeansNo Mark Black / Knjiga Mehka
common.buy 13.20 €
Kmalu
Hammershoi Frank Claustrat / Knjiga Trda
common.buy 41.65 €
Secretive Sara Rosett / Knjiga Mehka
common.buy 10.58 €
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Knjiga Kartonka
common.buy 43.16 €
Spirit Animal Oracle Colette Baron-Reid / Tiskani izdelki Karte
common.buy 25.00 €
Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Knjiga Mehka
common.buy 22.58 €
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Knjiga Mehka
common.buy 28.23 €
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Knjiga Trda
common.buy 204.65 €
Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous / Knjiga Mehka
common.buy 10.98 €
Dyslogic Syndrome Bernard Rimland / Knjiga Trda
common.buy 37.21 €
Mothers Recompense Grace Aguilar / Knjiga Trda
common.buy 41.75 €
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Knjiga Mehka
common.buy 48.71 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?