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 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Techniques for Distributed Systems John Hatcliff
Codul Libristo: 01655975
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, iunie 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Descrierea completă
? points 148 b
321.51 lei
În depozitul extern Expediem în 9-15 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Cowboy fur die Liebe Martina Gercke / Carte Carte broșată
common.buy 50.55 lei
Siegfried. Giganc. Tom 2 wyd. 2025 Lylian / Carte Carte broșată
common.buy 41.48 lei
Guide Pratique d'Audit Social de Conformité Emmanuel Beck / Carte Carte broșată
common.buy 223.41 lei
Indirekte Sterbehilfe Sophie Roggendorf / Carte Carte broșată
common.buy 203.60 lei
BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA / Carte Carte
common.buy 78.18 lei
L'Anneau nuptial ; les aventures d'Arsene Lupin Leblanc / Audiobook MP3
common.buy 20.84 lei
Mathe.Logo Bayern 8 I - neu Patricia Weixler / Carte Copertă tare
common.buy 168.05 lei
Kde bývajú zvieratká? neuvedený autor / Carte Cărți pliante
common.buy 43.67 lei
Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner / Carte Carte broșată
common.buy 197.76 lei
Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen / Carte Carte broșată
common.buy 89.86 lei
Labutie piesne Pavol Hammel / Audio Audio CD
common.buy 60.35 lei
Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann / Carte Copertă tare
common.buy 748.75 lei
Lieber ein Optimist, der sich mal irrt... Peter Hohl / Carte Copertă tare
common.buy 41.48 lei
Grusel, Terror, Videospiel Christoph Hurka / Carte Carte broșată
common.buy 120.09 lei
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Carte Copertă tare
common.buy 836.53 lei
Beat Kusagi David Sterritt / Carte Carte broșată
common.buy 50.97 lei
Der Alpenkönig und der Menschenfeind Ferdinand Raimund / Carte Carte broșată
common.buy 30.43 lei
Senilita Italo Svevo / Carte Carte broșată
common.buy 70.57 lei
Marketing im Mittelstand Clemens Renker / Carte Copertă tare
common.buy 366.24 lei
Tata a jeho syn Arnošt Goldflam / Audio Audio CD
common.buy 52.74 lei
Jahre des Umbruchs Clemens Vollnhals / Carte Copertă tare
common.buy 586.01 lei
Legislatives Unrecht Und Eu-Amtshaftungsanspruch Björn-Peter Säuberlich / Carte Carte broșată
common.buy 472.37 lei
Hochzeitsreise Charles de Coster / Carte Copertă tare
common.buy 124.37 lei
Detektywistyka Brakoniecki Dariusz / Carte Carte broșată
common.buy 94.03 lei

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.

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 John Hatcliff, Elena Zucca
Limba engleză
Legare Carte - Carte broșată
Data publicării 2010
Număr pagini 233
EAN 9783642134630
ISBN 3642134637
Codul Libristo 01655975
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 386
Dimensiuni 159 x 240 x 19

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 networking & communications > Distributed systems
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

Computer-Supported Cooperative Work Uwe M. Borghoff / Carte Carte broșată
common.buy 280.02 lei
Articulated Motion and Deformable Objects Francisco J. Perales / Carte Carte broșată
common.buy 321.51 lei
Algorithms - ESA 2007 Lars Arge / Carte Carte broșată
common.buy 570.37 lei
240 Brain Variety Puzzles, Vol 1 Jaja Books / Carte Carte broșată
common.buy 54.72 lei
Breeding for Disease Resistance in Farm Animals Roger Axford / Carte Copertă tare
common.buy 974.36 lei
Ragtime, Blues & Jazz for Banjo Fred Sokolow / Carte Carte broșată
common.buy 177.85 lei
Postcolonial London John McLeod / Carte Copertă tare
common.buy 1 147.01 lei
Observatory Mansions Edward Carey / Carte Carte broșată
common.buy 104.24 lei
What Color Is the Wind? Anne Herbauts / Carte Carte broșată
common.buy 96.22 lei
The End of the Perfect 10: The Making and Breaking of Gymnastics' Top Score --From Nadia to Now Dvora Meyers / Carte Carte broșată
common.buy 75.78 lei
The Life of Martin Luther William Rein / Carte Carte broșată
common.buy 163.88 lei
Words Of Love 1959-2009 Gary Lynn Clevenger / Carte Carte broșată
common.buy 82.04 lei
Addresses Against Incorporating Union, 1706-1707 Karin Bowie / Carte Copertă tare
common.buy 542.95 lei
Do Magazine Presents Quilting Techniques & Projects Editors of Do Magazine / Carte Carte broșată
common.buy 47.11 lei
Playing Guitar Musically: A Guide to Creativity on Guitar & Bass. Adam Satur / Carte Carte broșată
common.buy 126.35 lei
Charter and Ordinances of the City of Ann Arbor Ann Arbor / Carte Carte broșată
common.buy 106.33 lei
The Big Book of 500 Sudoku Puzzles easy (with answers) Sudoku Puzzle Books / Carte Carte broșată
common.buy 81.62 lei
Anne of the Island Lucy Maud Montgomery / Carte Carte broșată
common.buy 47.11 lei
Progressive French Dialogues And Phrases: Consisting Of A Systematic Collection Of Conversations On Familiar Subjects (1845) Alexander G. Collot / Carte Carte broșată
common.buy 153.25 lei
Art of the Cosmos Jim Bell / Carte Copertă tare
common.buy 199.74 lei
The Sky Is Not the Limit Jeremie Decalf / Carte Copertă tare
common.buy 89.86 lei
Girls from da Hood 6 Ashley / E-book Adobe ePub DRM
common.buy 39.92 lei
Baby's daily Log Book Soby K / Carte Carte broșată
common.buy 132.81 lei
The Principles of Greek Grammar Peter Bullions / Carte Carte broșată
common.buy 297.01 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?