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.

Formal Techniques for Distributed Objects, Components, and Systems

34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, P

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Distributed Objects, Components, and Systems Catuscia Palamidessi
Codul Libristo: 02668867
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2014
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Tec... Descrierea completă
? points 132 b
285.96 lei
În depozitul extern Expediem în 5-8 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Det flata racket 1.0 Sam Skogh / Carte Carte broșată
common.buy 77.03 lei
Hábitos saludables que alargan la vida: ideas y consejos para vivir más y mejor AA. VV. / Carte Carte broșată
common.buy 42.94 lei
Weltkinderkunde Wolfgang Schad / Carte Carte broșată
common.buy 330.69 lei
To proste Jerzy Pomianowski / Carte Carte broșată
common.buy 52.95 lei
Die Ortliche Betaubung Ihre Wissenschaftlichen Grundlagen Und Praktische Anwendung (1921) Heinrich Braun / Carte Carte broșată
common.buy 231.65 lei
Cookomix spécial apéro / Carte Copertă tare
common.buy 156.27 lei
Rázštepy pery a podnebia Radomír Kokavec / Carte Carte broșată
common.buy 9.58 lei

This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.

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 Formal Techniques for Distributed Objects, Components, and Systems
Autor Catuscia Palamidessi, Erika Ábrahám
Limba engleză
Legare Carte - Carte broșată
Data publicării 2014
Număr pagini 301
EAN 9783662436127
ISBN 3662436124
Codul Libristo 02668867
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 4803
Dimensiuni 155 x 235 x 18

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
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

O is for Orisha Victor Francisco Hernandez Mora / Carte Carte broșată
common.buy 85.79 lei
Christmas Cocktail Jazz - Jazz Piano Solos Series Vol. 65 PIANO / Carte Carte broșată
common.buy 116.13 lei
Proud Tower Barbara Tuchman / E-book Adobe ePub DRM
common.buy 86.42 lei
Be the Hero of Your Life: An Instruction Manual for Self-esteem Fabio Govoni / Carte Carte broșată
common.buy 71.82 lei
The Smart Woman's Guide to Heart Health: Skillfully Manage 3 Major Heart-Health Risks Ute Goldkuhle / Carte Carte broșată
common.buy 57.12 lei
Fated Destiny: Mercier Bloodline Series Caissy Boudreau / Carte Carte broșată
common.buy 57.12 lei
World Atlas of Oil and Gas Basins Guoyu Li / Carte Copertă tare
common.buy 776.80 lei
Generation of Postmemory Hirsch / Carte Copertă tare
common.buy 873.65 lei
Orientations Pierre Boulez / Carte Carte broșată
common.buy 110.92 lei
Human Resource Management for Hospitality, Tourism and Events Dennis Nickson / Carte Copertă tare
common.buy 1 306.93 lei
Oxford Handbook of Private Equity Douglas Cumming / Carte Copertă tare
common.buy 1 109.89 lei
Get Talking and Keep Talking Greek Total Audio Course Howard Middle / Audio Audio CD
common.buy 150.01 lei
Jacobi Dynamics V.I. Ferronsky / Carte Copertă tare
common.buy 1 138.98 lei
Final Plague Tony Guaraldi-Brown / Carte Carte broșată
common.buy 65.78 lei
From Parents to Children John Ermisch / Carte Copertă tare
common.buy 427.02 lei
How to Do Ecology Richard Karban / Carte Carte broșată
common.buy 152.41 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?