phone 031 22 95 182
LIBRISTO 0
Transport gratuit la punctele de livrare Pick Up peste 299 lei
Packeta 15 lei Easybox 20 lei Cargus 25 lei FAN 25 lei
phone Contact phoneCum să cumpăr

Topology in Process Calculus

Limba englezăengleză
Carte Carte broșată
Carte Topology in Process Calculus Mingsheng Ying
Codul Libristo: 06794814
Editura Springer-Verlag New York Inc., octombrie 2012
The purpose of this book is to establish a theory of approximate correctness and infinite evolution... Descrierea completă
? points 161 b
324 lei
În depozitul extern în cantități mici Expediem în 12-17 zile

30 de zile pentru retur bunuri

Ar putea de asemenea, să te intereseze

Metadaten-Management für Data-Warehouse-Systeme Katja Funke / Carte broșată
common.buy 250 lei
Multimedia Design Interaktiv! Richard S. Schifman / Carte broșată
common.buy 411 lei
Voice of Her Own Woo Schiwy / Carte broșată
common.buy 120 lei
Designing Democracy Cass R. Sunstein / Copertă tare
common.buy 477 lei
Last Man Rodrigo Baltodano / Carte broșată
common.buy 57 lei
International Criminal Tribunal for the Prosecution of Persons United Nations: General Assembly / Carte broșată
common.buy 68 lei
Africa's Experience with Structural Adjustment / Carte broșată
common.buy 169 lei
Escenario Punitivo En Uruguay Rolando Arbesún Rodríguez / Carte broșată
common.buy 572 lei
Playing with Purpose Kenneth J. Gergen / Copertă tare
common.buy 863 lei
Economies of Africa and Asia in the Inter-war Depression (Routledge Revivals) IAN BROWN / Copertă tare
common.buy 1.070 lei
Dinamica Participativa En El Consejo Educativo Institucional (Conei) Lilia Esmeralda Calderón Almerco / Carte broșată
common.buy 290 lei
Post-Structural Genomics Zhiyan Fu / Carte broșată
common.buy 348 lei
Women in the Hindu Tradition Mandakranta Bose / Copertă tare
common.buy 1.174 lei
Ghts of Maryland Mike Ricksecker / Carte broșată
common.buy 69 lei

The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent programs by employing some notions and tools from point-set topology. Professionals, researchers and graduate students in theoretical computer science and formal methods will find this presentation helpful in understanding new concepts for concurrent and real-time systems, especially methods for describing approximation of systems.

Informații despre carte

Titlu complet Topology in Process Calculus
Autor Mingsheng Ying
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 220
EAN 9781461265221
ISBN 1461265223
Codul Libristo 06794814
Editura Springer-Verlag New York Inc.
Greutatea 361
Dimensiuni 155 x 235 x 11

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

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