Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € Pošta 4.99 € Overseas 4.99 € Box Now 4.49 € GLS 4.99 € DPD točka 3.49 € GLS paketomat 3.99 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Modal Logic and Process Algebra

A Bisimulation Perspective

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Modal Logic and Process Algebra Alban Ponse
Libristo kod: 05012595
Nakladnici Centre for the Study of Language & Information, lipanj 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Cijeli opis
? points 80 b Pripremamo Pripremamo
32.91 €
Očekivani ponovni tisak Termin nepoznat Termin nepoznat

30 dana za povrat kupljenih proizvoda

Kupci su kupili i

Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-knjiga Adobe ePub DRM
common.buy 10.39 €
El viaje de las palabras ANDREA MARCOLONGO / Knjiga Tvrdi uvez
common.buy 22.61 €
Tí, čo nás predišli Martin Uher / Knjiga Meki uvez
common.buy 4.74 €
Liebermann Hubert Knackfuß / Knjiga Meki uvez
common.buy 15.24 €
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Knjiga Tvrdi uvez
common.buy 41.79 €
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Knjiga Meki uvez
common.buy 16.55 €
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Knjiga Meki uvez
common.buy 14.83 €
Dědečkův velký útěk David Walliams / Audio Audio CD
common.buy 10.09 €
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Knjiga Tvrdi uvez
common.buy 17.96 €
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Knjiga Meki uvez
common.buy 13.92 €
1.1.-30.6.2004 Manfred Baldus / Knjiga Tvrdi uvez
common.buy 216.97 €
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Igra/Igračka Igračka
common.buy 6.75 €
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Knjiga Meki uvez
common.buy 43.71 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Modal Logic and Process Algebra
Autor Alban Ponse, Maarten De Rijke, Yde Venema
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 1996
Broj stranica 352
EAN 9781881526964
ISBN 1881526968
Libristo kod 05012595
Nakladnici Centre for the Study of Language & Information
Težina 482
Dimenzije 152 x 228 x 20

Kategorija

Computing & Information Technology > Computer science > Mathematical theory of computation
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Knjiga Meki uvez
common.buy 23.82 €
Budgetary Control in Modern Organisation Israel Davidson / Knjiga Meki uvez
common.buy 81.98 €
Hero in Me Teacher's Guide Judy Dick / E-knjiga Adobe ePub DRM
common.buy 29.07 €
Guitar Chords - Major 7 Chords Dan Lupo / Knjiga Meki uvez
common.buy 8.98 €
American Legal System and Civic Engagement Kenneth Manaster / Knjiga Meki uvez
common.buy 47.95 €
Modern Education M. S. Avezova / Knjiga Meki uvez
common.buy 10.59 €
NoMeansNo Mark Black / Knjiga Meki uvez
common.buy 14.83 €
Secretive Sara Rosett / Knjiga Meki uvez
common.buy 11.30 €
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Knjiga Leporelo
common.buy 45.43 €
Pripremamo
Hammershoi Frank Claustrat / Knjiga Tvrdi uvez
common.buy 44.62 €
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Knjiga Meki uvez
common.buy 17.56 €
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Knjiga Tvrdi uvez
common.buy 215.66 €
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 Meki uvez
common.buy 11.70 €
Spirit Animal Oracle Colette Baron-Reid / Tiskanica Karte
common.buy 26.75 €
The Next Great Paulie Fink Ali Benjamin / Knjiga Tvrdi uvez
common.buy 29.57 €
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Knjiga Meki uvez
common.buy 24.02 €
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Knjiga Meki uvez
common.buy 10.29 €
Mothers Recompense Grace Aguilar / Knjiga Tvrdi uvez
common.buy 44.42 €
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Knjiga Meki uvez
common.buy 29.67 €
Analysis and Design of Elastic Beams: Computationa Methods Walter D. Pilkey / Knjiga Tvrdi uvez
common.buy 155.28 €
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Knjiga Meki uvez
common.buy 51.59 €
What to Do for a Pain in the Neck Jerome Schofferman / Knjiga Meki uvez
common.buy 17.15 €
Medieval Horse and its Equipment, c.1150-1450 John Clark / Knjiga Meki uvez
common.buy 26.85 €
Doing Time Roger Matthews / Knjiga Meki uvez
common.buy 109.14 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?