Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Modal Logic and Process Algebra

A Bisimulation Perspective

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Modal Logic and Process Algebra Alban Ponse
Libristo kód: 05012595
Nakladatelství Centre for the Study of Language & Information, červen 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Celý popis
? points 84 b Připravujeme Připravujeme
839 Kč
Očekávaný dotisk Termín neznámý Termín neznámý

30 dní na vrácení zboží

Zákazníci také koupili

Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-kniha Adobe ePub DRM
common.buy 266 Kč
El viaje de las palabras ANDREA MARCOLONGO / Kniha Pevná
common.buy 574 Kč
Tí, čo nás predišli Martin Uher / Kniha Brožovaná
common.buy 111 Kč
Liebermann Hubert Knackfuß / Kniha Brožovaná
common.buy 348 Kč
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Kniha Pevná
common.buy 950 Kč
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Kniha Brožovaná
common.buy 380 Kč
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Kniha Brožovaná
common.buy 340 Kč
Dědečkův velký útěk David Walliams / Audio Audio CD
common.buy 300 Kč
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Kniha Pevná
common.buy 410 Kč
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Kniha Brožovaná
common.buy 338 Kč
1.1.-30.6.2004 Manfred Baldus / Kniha Pevná
common.buy 4 983 Kč
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Hra/Hračka Hračka
common.buy 171 Kč
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Kniha Brožovaná
common.buy 997 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Modal Logic and Process Algebra
Autor Alban Ponse, Maarten De Rijke, Yde Venema
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 1996
Počet stran 352
EAN 9781881526964
ISBN 1881526968
Libristo kód 05012595
Nakladatelství Centre for the Study of Language & Information
Váha 482
Rozměry 152 x 228 x 20

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Kniha Brožovaná
common.buy 548 Kč
Budgetary Control in Modern Organisation Israel Davidson / Kniha Brožovaná
common.buy 1 890 Kč
Hero in Me Teacher's Guide Judy Dick / E-kniha Adobe ePub DRM
common.buy 747 Kč
Guitar Chords - Major 7 Chords Dan Lupo / Kniha Brožovaná
common.buy 207 Kč
American Legal System and Civic Engagement Kenneth Manaster / Kniha Brožovaná
common.buy 1 101 Kč
Modern Education M. S. Avezova / Kniha Brožovaná
common.buy 242 Kč
NoMeansNo Mark Black / Kniha Brožovaná
common.buy 339 Kč
Secretive Sara Rosett / Kniha Brožovaná
common.buy 258 Kč
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Kniha Leporelo
common.buy 1 154 Kč
Připravujeme
Hammershoi Frank Claustrat / Kniha Pevná
common.buy 1 010 Kč
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Kniha Brožovaná
common.buy 403 Kč
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Kniha Pevná
common.buy 4 968 Kč
Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous / Kniha Brožovaná
common.buy 267 Kč
Spirit Animal Oracle Colette Baron-Reid / Tiskovina Karty
common.buy 608 Kč
The Next Great Paulie Fink Ali Benjamin / Kniha Pevná
common.buy 683 Kč
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Kniha Brožovaná
common.buy 554 Kč
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Kniha Brožovaná
common.buy 237 Kč
Mothers Recompense Grace Aguilar / Kniha Pevná
common.buy 1 014 Kč
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Kniha Brožovaná
common.buy 685 Kč
Analysis and Design of Elastic Beams: Computationa Methods Walter D. Pilkey / Kniha Pevná
common.buy 3 581 Kč
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Kniha Brožovaná
common.buy 1 182 Kč
What to Do for a Pain in the Neck Jerome Schofferman / Kniha Brožovaná
common.buy 391 Kč
Medieval Horse and its Equipment, c.1150-1450 John Clark / Kniha Brožovaná
common.buy 581 Kč
Doing Time Roger Matthews / Kniha Brožovaná
common.buy 2 646 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?