Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Modal Logic and Process Algebra

A Bisimulation Perspective

Limba englezăengleză
Carte Carte broșată
Carte Modal Logic and Process Algebra Alban Ponse
Codul Libristo: 05012595
Editura Centre for the Study of Language & Information, iunie 1996
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Descrierea completă
? points 84 b Curând Curând
181.69 lei
Retipărire preconizată Termenul este necunoscut Termenul este necunoscut

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Cronicas del neoliberalismo que vino del espacio exterior Antonio Jose Anton Fernandez / E-book Adobe ePub DRM
common.buy 57.61 lei
El viaje de las palabras ANDREA MARCOLONGO / Carte Copertă tare
common.buy 124.28 lei
Tí, čo nás predišli Martin Uher / Carte Carte broșată
common.buy 26.61 lei
Liebermann Hubert Knackfuß / Carte Carte broșată
common.buy 84.65 lei
Teenage Mutant Ninja Turtles Splitter Collection 06 Tom Waltz / Carte Copertă tare
common.buy 233.07 lei
Los Cuentos de Astaria II: Los Campos de Stigya Alison Oropeza / Carte Carte broșată
common.buy 91.20 lei
Misegunda despedida de soltera, Novela: Ya sabes lo que dicen, las bodas son buen negocio Vicky Contreras / Carte Carte broșată
common.buy 81.64 lei
Dědečkův velký útěk David Walliams / Audio Audio CD
common.buy 56.26 lei
Die Einsamkeit Gottes und seine Gerechtigkeit Stephan Braun / Carte Copertă tare
common.buy 99.84 lei
La Curacion Cuantica = Quantum Healing FRANK KINSLOW / Carte Carte broșată
common.buy 77.27 lei
1.1.-30.6.2004 Manfred Baldus / Carte Copertă tare
common.buy 1 198.77 lei
Der kleine Drache Kokosnuss - Rückziehauto Ingo Siegner / Joc / Jucărie Jucărie
common.buy 37.02 lei
Evolucion de La Tecnologia Celular GSM Hacia La Generacion 3.75 Dayana de la Caridad Rivero Hernández / Carte Carte broșată
common.buy 242.74 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Modal Logic and Process Algebra
Autor Alban Ponse, Maarten De Rijke, Yde Venema
Limba engleză
Legare Carte - Carte broșată
Data publicării 1996
Număr pagini 352
EAN 9781881526964
ISBN 1881526968
Codul Libristo 05012595
Editura Centre for the Study of Language & Information
Greutatea 482
Dimensiuni 152 x 228 x 20

Categorii

Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Green Algae Strategy: End Oil Imports And Engineer Sustainable Food And Fuel Mark Edwards / Carte Carte broșată
common.buy 131.45 lei
Budgetary Control in Modern Organisation Israel Davidson / Carte Carte broșată
common.buy 451.17 lei
Hero in Me Teacher's Guide Judy Dick / E-book Adobe ePub DRM
common.buy 161.82 lei
Guitar Chords - Major 7 Chords Dan Lupo / Carte Carte broșată
common.buy 49.39 lei
American Legal System and Civic Engagement Kenneth Manaster / Carte Carte broșată
common.buy 264.89 lei
Modern Education M. S. Avezova / Carte Carte broșată
common.buy 59.38 lei
NoMeansNo Mark Black / Carte Carte broșată
common.buy 82.05 lei
Secretive Sara Rosett / Carte Carte broșată
common.buy 63.23 lei
English for Electrical Engineering in Higher Education Studies - Course Book and 2 x Audio CDs Roger H. C. Smith / Carte Cărți pliante
common.buy 249.92 lei
Curând
Hammershoi Frank Claustrat / Carte Copertă tare
common.buy 249.92 lei
42 Rules for Your New Leadership Role (2nd Edition) Pam Fox Rollin / Carte Carte broșată
common.buy 92.45 lei
Agency of Things in Medieval and Early Modern Art Grazyna Jurkowlaniec / Carte Copertă tare
common.buy 1 189.10 lei
Biennial Report of the Trustees, Superintendent and Treasurer of the Illinois Institution for the Education of the Blind at Jacksonville, July 1, 1890 Anonymous / Carte Carte broșată
common.buy 64.99 lei
Spirit Animal Oracle Colette Baron-Reid / Materiale tipărite Cărți
common.buy 149.24 lei
The Next Great Paulie Fink Ali Benjamin / Carte Copertă tare
common.buy 162.03 lei
The Metropolitan Pulpit; or Sketches of the Most Popular Preachers in London; Volume I James Grant / Carte Carte broșată
common.buy 132.08 lei
20 Things I Wish I Had Mastered by Age 30: For a Life of Excellence Alexander Gyimah Agyemang / Carte Carte broșată
common.buy 56.99 lei
Mothers Recompense Grace Aguilar / Carte Copertă tare
common.buy 246.90 lei
The Lambs: Their Lives, Their Friends, And Their Correspondence, New Particulars And New Material (1897) William Carew Hazlitt / Carte Carte broșată
common.buy 163.49 lei
Analysis and Design of Elastic Beams: Computationa Methods Walter D. Pilkey / Carte Copertă tare
common.buy 854.62 lei
Neurocomputation in Remote Sensing Data Analysis Ioannis Kanellopoulos / Carte Carte broșată
common.buy 285.28 lei
What to Do for a Pain in the Neck Jerome Schofferman / Carte Carte broșată
common.buy 95.05 lei
Medieval Horse and its Equipment, c.1150-1450 John Clark / Carte Carte broșată
common.buy 148.62 lei
Doing Time Roger Matthews / Carte Carte broșată
common.buy 600.21 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?