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 Methods for Open Object-Based Distributed Systems

9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods for Open Object-Based Distributed Systems Marcello M. Bonsangue
Codul Libristo: 01568675
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2007
This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Fo... 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

Młodzi przyrodnicy. Na łące praca zbiorowa / Carte Carte broșată
common.buy 38.25 lei
Divertimenti Pera Toons / Carte Copertă tare
common.buy 93.82 lei
Gouvernance thique Des Entreprises Ou Miroir de la Morale? Yolande Francois / Carte Carte broșată
common.buy 243.32 lei
Zábavné objevování zvířátek / Carte Cărți pliante
common.buy 12.61 lei
Der deutsche Freund Christian Dorph / Carte Carte broșată
common.buy 57.12 lei
Dis-moi où tu as mal, je te dirai pourquoi - édition 2022 Michel Odoul / Carte Carte broșată
common.buy 145.01 lei
Familie in Deutschland nach Neidhardt Laura Dahm / Carte Carte broșată
common.buy 89.86 lei
YNSA Nova craniopuntura de Yamamoto Hahn / Carte Carte broșată
common.buy 227.79 lei
Brief an den Vater Franz Kafka / Carte Carte broșată
common.buy 50.76 lei
§§ 311, 311a, 312, 312a-i Heinz-Peter Mansel / Carte Copertă tare
common.buy 1 018.46 lei
Eine kurze Geschichte der Sprachen Tore Janson / Carte Carte broșată
common.buy 174.10 lei
Nowe język polski to się czyta podręcznik 2 szkoła branżowa 68821 Anna Klimowicz / Carte Carte broșată
common.buy 85.06 lei
La Ville Dans l'Emploi Du Temps de Michel Butor Mireille Calle-Gruber / Carte Carte broșată
common.buy 144.80 lei
La Decima Legione: Milos, il Trace Maria Pace / Carte Carte broșată
common.buy 115.71 lei
Deutsch als Zweitsprache - systematisch fördern Bettina Briddigkeit / Carte Foaie
common.buy 157.62 lei
S bicí soupravou taktem i dobou II. Libor Kubánek / Carte Carte broșată
common.buy 40.13 lei
Papa Noel libro para colorear 1 Nick Snels / Carte Carte broșată
common.buy 57.12 lei
Bitkiler Beslenme, Saglik ve Hastalikta Gülay Hergenc / Carte Carte broșată
common.buy 275.74 lei
Epitres Liberales En Vers, Ou Satires Comme on Voudra, A Mes Souliers, Aux Arts, A Rien Beaufort D'Auberval-A-A / Carte Carte broșată
common.buy 75.37 lei
Das Phänomen der Vagheit aus philosophischer Sicht. Defekt oder integraler Bestandteil der natürlichen Sprache? Gino Krüger / Carte Carte broșată
common.buy 89.86 lei
Crónicas de la Torre I. El Valle de los Lobos LAURA GALLEGO / Carte Carte broșată
common.buy 85.79 lei
Allens bloots Minschenwark Heinz Johnsen / Carte Carte broșată
common.buy 40.54 lei

This book constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus, June 2007.§The 17 revised full papers presented together with two invited papers cover model checking rewriting logic components and services algebraic calculi specification, verification and refinement, and quality of service.

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 Methods for Open Object-Based Distributed Systems
Autor Marcello M. Bonsangue, Einar Broch Johnsen
Limba engleză
Legare Carte - Carte broșată
Data publicării 2007
Număr pagini 317
EAN 9783540729198
ISBN 3540729194
Codul Libristo 01568675
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 516
Dimensiuni 155 x 235 x 20

Categorii

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 > Computer architecture & logic design
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer networking & communications
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

Partial Differential Equations IX M.S. Agranovich / Carte Carte broșată
common.buy 570.37 lei
The Power to Choose Sarah Libero / Carte Carte broșată
common.buy 75.78 lei
S. Hilarii Tractatvs de Mysteriis Et Hymni Et S. Silviae Aqvitanae Peregrinatio Ad Loca Sancta Hilary / Carte Carte broșată
common.buy 103.51 lei
Adventures in a Midwest Purgatory Michael Oellig / Carte Copertă tare
common.buy 179.31 lei
Spring Song Singers Richard Tydeman / Carte Carte broșată
common.buy 83.18 lei
Handbook of Research on Financial and Banking Crisis Prediction through Early Warning Systems Qaiser Munir / Carte Copertă tare
common.buy 1 461.75 lei
Identity and Agency in England, 1500-1800 J. Barry / Carte Carte broșată
common.buy 294.82 lei
Diary - choose your own year: Plastic Toy Soldier Edition Gee Myster / Carte Carte broșată
common.buy 66.82 lei
A Blavatsky Quotation Book: Being an Extract for Each Day of the Year H P Blavatsky / Carte Copertă tare
common.buy 200.16 lei
Cuthberht of Lindisfarne ALFRED C. FRYER / Carte Carte broșată
common.buy 119.57 lei
Fractal Bookmarks Vol. 2 Cross Stitch Collectibles / Carte Carte broșată
common.buy 92.46 lei
Top
Supernatural: Bone Key Keith R. A. DeCandido / Carte Carte broșată
common.buy 47.11 lei
Top
Bungo Stray Dogs, Vol. 10 Kafka Asagiri / Carte Carte broșată
common.buy 59.52 lei
Friends: Central Perk Softcover Notebook Insight Editions / Calendar / Agendă Agendă
common.buy 66.40 lei
Hardest Job in the World DICKERSON JOHN / Carte Carte broșată
common.buy 86.83 lei
Sparo Rising Erik Schubach / Carte Carte broșată
common.buy 75.58 lei
Phonics Book Bag Readers: Starter Pack 4 Catherine Baker / Carte Carte broșată
common.buy 107.89 lei
Thesaurus Linguae Latinae / Editus Auctoritate Et Consilio Academiarum Quinque Germanicarum Berolinensis, Gottingensis, Lipsiensis, Monacensis, Vindob Deutsche Akademie Der Wissenschaften Zu / Carte Carte broșată
common.buy 80.37 lei
Large Print Calm Dot-To-Dot / Carte Carte broșată
common.buy 69.21 lei
Korea Robert Lyman / Carte Copertă tare
common.buy 149.60 lei
Death SADHGURU / Carte Copertă tare
common.buy 120.30 lei
Multicultural Teaching in the Early Childhood Classroom Mariana Souto-Manning / Carte Copertă tare
common.buy 593.51 lei
Humic Substances & Natural Organic Matter Laurence Bates / Carte Copertă tare
common.buy 1 418.38 lei
Book of the Opening of the Mouth: Vol. II Sir E. A. Wallis Budge / Carte Carte broșată
common.buy 452.46 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