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 Systems

Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Distributed Systems Holger Giese
Codul Libristo: 01661349
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2012
This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on F... 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

S přáteli i v archivech - Sborník k sedmdesátinám historika Jindřicha Marka Prokop Tomek / Carte Copertă tare
common.buy 67.34 lei
La vie est un songe Calderón de la Barca / Carte Carte broșată
common.buy 41.69 lei
GEOLOGIA Y CIENCIAS AMBIENTALES 2. CLEMENTE ROCA / Carte Carte broșată
common.buy 303.68 lei
Diagnose und verschiedene Behandlungsprotokolle bei Zahnimplantaten Sumit Kaushal / Carte Carte broșată
common.buy 356.23 lei
Disi Kurtlar Thomas Narcejac / Carte Carte broșată
common.buy 67.55 lei
Сила мысли. Сборник устных комментариев Мастера к наставлениям Свами Шивананды Свами Вишнудэвананда / Carte Carte broșată
common.buy 46.70 lei
JOHANNES KEPLER MAX CASPAR / Carte Carte broșată
common.buy 133.96 lei
Estudio de Factibilidad de Un Food Truck en la Ciudad de Manizales Juan Felipe Rendon Duque / Carte Carte broșată
common.buy 272.20 lei
Esperanza. La Autobiografía: Memorias del Papa Francisco / Hope / Carte Carte broșată
common.buy 87.88 lei
Les vingt tournages qui ont changé le cinéma Olivier Rajchman / Carte Carte broșată
common.buy 163.04 lei
Die Krankenschwester, Großdruck Valerie Nilon / Carte Carte broșată
common.buy 65.78 lei
Beletrie pro děti Josef Čapek / Carte Copertă tare
common.buy 86.21 lei
Zdravě jíme, nevaříme Judita Hofhanzlová / Carte Carte broșată
common.buy 45.13 lei
Medizinische Informatik und Bioinformatik Martin Dugas / Carte Carte broșată
common.buy 183.69 lei
iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze / Carte Carte broșată
common.buy 89.86 lei
Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust / Carte Carte broșată
common.buy 89.86 lei
Wege suchen - Grenzen erfahren Hartmut Diegel / Carte Carte broșată
common.buy 75.16 lei
Flore Medicale, Volume 1... Franc Ois Pierre Chaumeton / Carte Carte broșată
common.buy 160.86 lei
Neue katalytische Funktionalisierungen ungesattigter Fettsauren Dominik M. Ohlmann / Carte Carte broșată
common.buy 445.06 lei
Femme Et La Democratie de Nos Temps Allart De Meritens-H / Carte Carte broșată
common.buy 96.22 lei
Música en imágenes Ezquerro Esteban / Carte Carte broșată
common.buy 192.76 lei
Medicina general. Diagnóstico en oncología Alejandra Guerrero Álvarez / Carte Carte broșată
common.buy 535.13 lei
Sirotčinec slečny Peregrinové pro podivné děti Ransom Riggs / Carte Copertă tare
common.buy 85.06 lei
Leftin
FRE-ASTRONOMIE TOME 1 Joseph Jerome Le Francais De Lalande / Carte Carte broșată
common.buy 55.35 lei

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

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 Systems
Autor Holger Giese, Grigore Rosu
Limba engleză
Legare Carte - Carte broșată
Data publicării 2012
Număr pagini 269
EAN 9783642307928
ISBN 3642307922
Codul Libristo 01661349
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 435
Dimensiuni 155 x 235 x 16

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
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

East Asia, Globalization and the New Economy F. Gerard Adams / Carte Copertă tare
common.buy 1 238.33 lei
Last Night a Pen and Paper Saved My Life Keyana Rhoden / Carte Carte broșată
common.buy 71.82 lei
Protective Mate: Holland Brothers 3 Toni Griffin / Carte Carte broșată
common.buy 72.03 lei
Missional Mirage: New Christian West Francis Rothery / Carte Carte broșată
common.buy 37.10 lei
THE TREATY OF WASHINGTON: CONCLUDED AUGU HUGH TAYLOR GORDON / Carte Copertă tare
common.buy 163.88 lei
Are You Ready for Me Therese M. English / Carte Carte broșată
common.buy 116.76 lei
Read with Oxford: Stages 5-6: My Winnie and Wilbur Reading and Activity Kit Laura Owen / Carte Carte broșată
common.buy 112.48 lei
Isabella: Book #2 in the House of Donato Series Patricia M Jackson / Carte Carte broșată
common.buy 74.43 lei
Scratch Programming: A Complete Guide For Beginners Connor Wallace / Carte Carte broșată
common.buy 106.54 lei
Re-Visioning Scotland Lyndsay Lunan / Carte Carte broșată
common.buy 371.66 lei
Fruits Of Enterprise Exhibited In The Adventures Of Belzoni In Egypt And Nubia (1843) Giovanni Battista Belzoni / Carte Copertă tare
common.buy 231.65 lei
Contemporary Monologues Michael Earley / Carte Carte broșată
common.buy 157.21 lei
Top
Small Apartment Inspirations / Carte Copertă tare
common.buy 55.97 lei
Complete Global Perspectives for Cambridge IGCSE (R) & O Level Teacher Guide Jo Lally / Carte Carte broșată
common.buy 558.38 lei
Handbook on Food Tourism Eerang Park / Carte Copertă tare
common.buy 1 190.17 lei
Vermeer of Delft E 1868-1938 Lucas / Carte Carte broșată
common.buy 91.01 lei
Acts of Appearance Gauri Gill / Carte Carte broșată
common.buy 387.51 lei
Guitar Amps & Effects For Dummies Dave Hunter / Carte Carte broșată
common.buy 129.16 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?