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 Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Topology in Process Calculus

Approximate Correctness and Infinite Evolution of Concurrent Programs

Limba englezăengleză
Carte Copertă tare
Carte Topology in Process Calculus Mingsheng Ying
Codul Libristo: 01384254
Editura Springer-Verlag New York Inc., martie 2001
Communication and concurrency are essential in understanding complex dynamic systems, and there have... Descrierea completă
? points 141 b
306.16 lei
În depozitul extern în cantități mici Expediem în 13-18 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Un Diplomate dans la tourmente Rahn / Carte Carte broșată
common.buy 210.62 lei
Key - Aktuelle Ausgabe - A1 Dietlind Unger / Carte Carte broșată
common.buy 103.43 lei
Die Entscheidung über Krieg und Frieden nach deutschem Verfassungsrecht. Bernd Rieder / Carte Carte broșată
common.buy 572.20 lei
Развивающая книжка с цветной бумагой. Книжка-аппликация No КА 2202 Ми-ми-мишки / Carte Carte broșată
common.buy 28.37 lei
El espíritu empresarial, catalizador de prosperidad financiera y empleo / Carte Carte broșată
common.buy 394.42 lei
México CECCHI / Carte Carte
common.buy 32.42 lei
TIRANT LO BLANC MARTORELL / Carte Carte broșată
common.buy 51.76 lei
Impressions asiatiques - Les pérégrinations en Chine et en Extrême-Orient d’un Français curieux de HUMBERT / Carte Carte broșată
common.buy 107.80 lei
Joseph Staline à la Une Olivier Luciani / Carte Carte broșată
common.buy 161.96 lei
Iconographie Et Arts Du Spectacle Jerome De La Gorce / Carte Carte broșată
common.buy 298.57 lei
Dictionnaire du cinéma - tome 3 - Les Films - NE Jacques Lourcelles / Carte Carte broșată
common.buy 213.63 lei
Was ist Pflege? Eine Arbeit uber die Bedeutung, die Rezipienten, die Aufgaben und die Ziele der Pflege Albert Etschmaier / Carte Carte broșată
common.buy 237.23 lei
Lucky Luke - Am Klondike Yann L?turgie / Carte Copertă tare
common.buy 71.00 lei
Apollodori Bibliotheca (1854) Apollodorus / Carte Copertă tare
common.buy 204.80 lei
Orwell en España George Orwell / Carte Carte broșată
common.buy 70.16 lei
Die kleine Raupe Nimmersatt - Mein Häkelset Eric Carle / Joc / Jucărie Jucărie
common.buy 79.83 lei
Au Sujet Du Regime Du Travail Etabli Dans La Colonie de l'Ile de la Reunion SICRE DE FONTBRUNE-A / Carte Carte broșată
common.buy 75.15 lei
Právo národov John Rawls / Carte Carte
common.buy 49.58 lei
Mehr des gleichen Some Author / Carte Carte broșată
common.buy 70.16 lei
Albert i potwor Gunilla Bergstrom / Carte Copertă tare
common.buy 25.98 lei

Communication and concurrency are essential in understanding complex dynamic systems, and there have been many theories to deal with them such as Petri nets, CSP and ACP. Among them, CCS (process calculus is one of the most important and mathematically developed models of communication and concurrency. Various behavior equivalences between agents, such as (strong and weak) bisimilarity, observation congruence, trace equivalence, testing equivalence and failure equivalence, are central notions in process calculus. In the real applications of process calculus, specification and implementation are described as two agents, correctness of programs is treated as a certain behavior equivalence between specification and implementation, and then the proof of correctness of programs is a task to establish some behavior equivalence between them. The goal of this book is to provide some suitable and useful concepts and tools for the understanding and analysis of ap proximate correctness of programs in concurrent systems. Throughout this book the focus is on the framework of process calculus, and the main idea is to construct some natural and reasonable topological structures which can reveal suitably a mechanism of approximate computation in process calculus and to work out various relationships among processes which are compatible with these topological structures.

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 Topology in Process Calculus
Autor Mingsheng Ying
Limba engleză
Legare Carte - Copertă tare
Data publicării 2001
Număr pagini 220
EAN 9780387950921
ISBN 0387950923
Codul Libristo 01384254
Editura Springer-Verlag New York Inc.
Greutatea 1110
Dimensiuni 155 x 235 x 17

Categorii

Computing & Information Technology > Computer science > Computer architecture & logic design > Parallel processing
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Mathematics & Science > Mathematics
Computing & Information Technology > Operating systems
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

TH17 Cells in Health and Disease Shuiping Jiang / Carte Carte broșată
common.buy 1 187.03 lei
Teach Yourself VISUALLY Power BI Loth / Carte Carte broșată
common.buy 122.77 lei
Handbook of Neurochemistry and Molecular Neurobiology Simo S. Oja / Carte Copertă tare
common.buy 1 774.20 lei
Everything I Need to Know I Learned from Rpgs: A Player's Handbook to the Game of Life Chris Seaman / Carte Copertă tare
common.buy 79.63 lei
Digital Resources for Learning Daniel Churchill / Carte Carte broșată
common.buy 473.64 lei
Principles of Engineering Physics 1 KHAN MD NAZOOR / Carte Carte broșată
common.buy 612.43 lei
Macroeconomics - Grade Booster Series ELIJAH M. JAMES / Carte Carte broșată
common.buy 319.36 lei
Indians in the United States and Canada Roger L. Nichols / Carte Carte broșată
common.buy 235.57 lei
My First Toddler Coloring Book: Simple & Fun Big Pictures Myfirsttoddler / Carte Carte broșată
common.buy 37.00 lei
Catalogue University of Wisconsin / Carte Carte broșată
common.buy 140.03 lei
Introduction to Evidence-Based Medicine Bliss Chang / Carte Carte broșată
common.buy 140.23 lei
Competition Law Richard Whish / Carte Carte broșată
common.buy 348.16 lei
Shadow Work Journal and Guide for Beginners: An Introduction to Discovering and Healing Your Unconscious Self Kelly Bramblett / Carte Carte broșată
common.buy 58.42 lei
Letterforms Timothy Samara / Carte Copertă tare
common.buy 156.35 lei
Japanese Genkouyoushi Character Writing Workbook Tuttle Studio / Carte Carte broșată
common.buy 46.98 lei
Heartstrings / Carte Carte broșată
common.buy 87.21 lei
Eucharis F. Reginald Statham / Carte Copertă tare
common.buy 246.80 lei
Blender for Dummies van Gumster / Carte Carte broșată
common.buy 198.76 lei
Musings of Motherhood Angel Thrash / Carte Carte broșată
common.buy 90.96 lei
Top
Dead Space - Catalyst Evenson / Carte Carte broșată
common.buy 60.18 lei
Startlement LIMľN ADA / Carte Copertă tare
common.buy 120.58 lei
Top Nou
The Irresistible Urge to Fall For Your Enemy Brigitte Knightley / Carte Carte broșată
common.buy 60.81 lei
African American Theological Ethics Peter J. Paris / Carte Carte broșată
common.buy 251.37 lei
Frequency Stability - Introduction and Applications Venceslav F. Kroupa / Carte Copertă tare
common.buy 656.82 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?