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 Copertă tare
Carte Modal Logic and Process Algebra Alban Ponse
Codul Libristo: 05012594
Editura Centre for the Study of Language & Information, iunie 1995
Labelled transition systems are mathematical models for dynamic behaviour, or processes, and thus fo... Descrierea completă
? points 176 b Curând Curând
380.13 lei
Retipărire preconizată Termenul este necunoscut Termenul este necunoscut

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Mes Amusemens Dans La Prison de Sainte-Pelagie Saint-Desire / Carte Carte broșată
common.buy 101.19 lei
OEkonomische Analyse des Sozialschutzprinzips im Zivilrecht Claus Ott / Carte Carte broșată
common.buy 744.16 lei
Historia de Yucatán Diego López de Cogolludo / Carte Copertă tare
common.buy 221.32 lei
Sagenerzahlerin und der Bronzeschmied Sina Blackwood / Carte Carte broșată
common.buy 94.22 lei
INTRODUCTION, VARIATIONS ET FINALE SUR LA LEGENDE DE SAINT NICOLAS E POUR ORGUE SCHMITT OLIVIER Carte Carte broșată
common.buy 135.82 lei
Dnes v noci zemřeš Viveca Sten / Carte Copertă tare
common.buy 36.18 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 - Copertă tare
Data publicării 1995
Număr pagini 352
EAN 9781881526957
ISBN 188152695X
Codul Libristo 05012594
Editura Centre for the Study of Language & Information
Greutatea 648
Dimensiuni 152 x 228 x 24

Categorii

Mathematics & Science > Mathematics > Algebra
Computing & Information Technology > Computer science > Mathematical theory of computation
Mathematics & Science > Science: general issues
Computing & Information Technology > Computer programming / software engineering
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

Dead Silence Kimberly Derting / Carte Carte broșată
common.buy 66.24 lei
How to Talk to Data Scientists Jeremy / Carte Carte broșată
common.buy 116.48 lei
Feather on the Breath of God Sigrid Nunez / Carte Carte broșată
common.buy 66.24 lei
Top
Keeping a Nature Journal, 3rd Edition: Deepen Your Connection with the Natural World All Around You Clare Walker Leslie / Carte Carte broșată
common.buy 108.47 lei
Open Door Daniel S. Hamilton / Carte Carte broșată
common.buy 157.25 lei
Integrity is Everything John Lavenia / Carte Carte broșată
common.buy 106.29 lei
Elementary Theorems Relating To Determinants (1851) William Spottiswoode / Carte Copertă tare
common.buy 178.67 lei
Greenwood Donny Whitehead / Carte Carte broșată
common.buy 109.40 lei
Mathematical Methods of Quantum Physics: 2nd Jagna International Workshop C. C. Bernido / Carte Copertă tare
common.buy 1 286.14 lei
Restoration in Russia Boris Kagarlitsky / Carte Carte broșată
common.buy 85.07 lei
Shakespeare and the Poets' War James Bednarz / Carte Carte broșată
common.buy 267.70 lei
Engaging the Public with Climate Change Lorraine Whitmarsh / Carte Copertă tare
common.buy 1 144.27 lei
Man for Himself Erich Fromm / Carte Carte broșată
common.buy 130.21 lei
Patience of the Spider Andrea Camilleri / Carte Carte broșată
common.buy 88.19 lei
Journal Of Stephen Watts Kearny - Part I Stephen Watts Kearny / Carte Carte broșată
common.buy 78.83 lei
Lanthanide-Doped Luminescent Nanomaterials Xueyuan Chen / Carte Copertă tare
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?