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 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
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 79 b Pripremamo Pripremamo
32.83 €
Očekivani ponovni tisak Termin nepoznat Termin nepoznat

Do 30 dana za povrat

Kupci su kupili i

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

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

The Next Great Paulie Fink Ali Benjamin / Knjiga Tvrdi uvez
common.buy 30.19 €
Consumption Takes Time Steedman / Knjiga Meki uvez
common.buy 70.12 €
Budgetary Control in Modern Organisation Israel Davidson / Knjiga Meki uvez
common.buy 82.28 €
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Knjiga Meki uvez
common.buy 10.33 €
Te Ika a Maui, or, New Zealand and its Inhabitants. Second edition, etc. Richard M a Taylor / Knjiga Meki uvez
common.buy 34.55 €
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Knjiga Meki uvez
common.buy 17.62 €
Modern Education M. S. Avezova / Knjiga Meki uvez
common.buy 10.63 €
Guitar Chords - Major 7 Chords Dan Lupo / Knjiga Meki uvez
common.buy 9.01 €
More Than a Woman a Woman Marine Karen Haynes / Knjiga Meki uvez
common.buy 15.80 €
American Legal System and Civic Engagement Kenneth Manaster / Knjiga Meki uvez
common.buy 48.13 €
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Knjiga Meki uvez
common.buy 24.11 €
On the Shoulders of Giants M.E. Lines / Knjiga Meki uvez
common.buy 61.81 €
NoMeansNo Mark Black / Knjiga Meki uvez
common.buy 14.08 €
Pripremamo
Hammershoi Frank Claustrat / Knjiga Tvrdi uvez
common.buy 44.78 €
Secretive Sara Rosett / Knjiga Meki uvez
common.buy 11.34 €
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Knjiga Leporelo
common.buy 43.26 €
Top
Spirit Animal Oracle Colette Baron-Reid / Tiskanica Karte
common.buy 26.85 €
Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Knjiga Meki uvez
common.buy 23.91 €
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Knjiga Meki uvez
common.buy 29.79 €
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Knjiga Tvrdi uvez
common.buy 240.18 €
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.75 €
Dyslogic Syndrome Bernard Rimland / Knjiga Tvrdi uvez
common.buy 36.58 €
Mothers Recompense Grace Aguilar / Knjiga Tvrdi uvez
common.buy 44.58 €
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Knjiga Meki uvez
common.buy 51.78 €

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?