Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69,99 € na prevzemna mesta DPD in Express One.

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Techniques for Distributed Systems John Hatcliff
Koda Libristo: 01655975
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junij 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Celoten opis
? points 136 b
56.02 €
Na zalogi pri dobavitelju Odposlali bomo v 14-21 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner / Knjiga Mehka
common.buy 33.47 €
Siegfried. Giganc. Tom 2 wyd. 2025 Lylian / Knjiga Mehka
common.buy 6.97 €
Guide Pratique d'Audit Social de Conformité Emmanuel Beck / Knjiga Mehka
common.buy 37.81 €
BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA / Knjiga Knjiga
common.buy 13.74 €
Mathe.Logo Bayern 8 I - neu Patricia Weixler / Knjiga Trda
common.buy 28.91 €
Indirekte Sterbehilfe Sophie Roggendorf / Knjiga Mehka
common.buy 34.78 €
Kde bývajú zvieratká? neuvedený autor / Knjiga Kartonka
common.buy 7.47 €
Constitucion de la Confederacion Argentina Linkgua / Knjiga Mehka
common.buy 11.32 €
Labutie piesne Pavol Hammel / Zvok Zvočni CD
common.buy 10.20 €
Cowboy fur die Liebe Martina Gercke / Knjiga Mehka
common.buy 22.54 €
Grusel, Terror, Videospiel Christoph Hurka / Knjiga Mehka
common.buy 20.32 €
Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen / Knjiga Mehka
common.buy 15.26 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Knjiga Trda
common.buy 159.18 €
Beat Kusagi David Sterritt / Knjiga Mehka
common.buy 8.69 €
Der Alpenkönig und der Menschenfeind Ferdinand Raimund / Knjiga Mehka
common.buy 5.15 €
Senilita Italo Svevo / Knjiga Mehka
common.buy 11.92 €
Marketing im Mittelstand Clemens Renker / Knjiga Trda
common.buy 62.69 €
Tata a jeho syn Arnošt Goldflam / Zvok Zvočni CD
common.buy 8.79 €
Jahre des Umbruchs Clemens Vollnhals / Knjiga Trda
common.buy 100.82 €
Lieber ein Optimist, der sich mal irrt... Peter Hohl / Knjiga Trda
common.buy 6.97 €
Hochzeitsreise Charles de Coster / Knjiga Trda
common.buy 21.03 €
LOS Klaus Merz / Knjiga Mehka
common.buy 11.01 €
Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann / Knjiga Trda
common.buy 153.82 €
Legislatives Unrecht Und Eu-Amtshaftungsanspruch Björn-Peter Säuberlich / Knjiga Mehka
common.buy 80.90 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Techniques for Distributed Systems
Avtor John Hatcliff, Elena Zucca
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2010
Število strani 233
EAN 9783642134630
ISBN 3642134637
Koda Libristo 01655975
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 386
Mere 159 x 240 x 19

Kategorije

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
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Computer-Supported Cooperative Work Uwe M. Borghoff / Knjiga Mehka
common.buy 47.73 €
Articulated Motion and Deformable Objects Francisco J. Perales / Knjiga Mehka
common.buy 56.02 €
Algorithms - ESA 2007 Lars Arge / Knjiga Mehka
common.buy 97.38 €
Do Magazine Presents Quilting Techniques & Projects Editors of Do Magazine / Knjiga Mehka
common.buy 9.09 €
Breeding for Disease Resistance in Farm Animals Roger Axford / Knjiga Trda
common.buy 175.16 €
Ragtime, Blues & Jazz for Banjo Fred Sokolow / Knjiga Mehka
common.buy 30.63 €
Postcolonial London John McLeod / Knjiga Trda
common.buy 233.51 €
Playing Guitar Musically: A Guide to Creativity on Guitar & Bass. Adam Satur / Knjiga Mehka
common.buy 21.84 €
Observatory Mansions Edward Carey / Knjiga Mehka
common.buy 17.69 €
What Color Is the Wind? Anne Herbauts / Knjiga Mehka
common.buy 16.17 €
The End of the Perfect 10: The Making and Breaking of Gymnastics' Top Score --From Nadia to Now Dvora Meyers / Knjiga Mehka
common.buy 16.17 €
The Life of Martin Luther William Rein / Knjiga Mehka
common.buy 28.31 €
Words Of Love 1959-2009 Gary Lynn Clevenger / Knjiga Mehka
common.buy 14.05 €
Addresses Against Incorporating Union, 1706-1707 Karin Bowie / Knjiga Trda
common.buy 94.45 €
Only Giants Live Forever (Unless You Kill Them) Dale Skutt / Knjiga Mehka
common.buy 18.80 €
240 Brain Variety Puzzles, Vol 1 Jaja Books / Knjiga Mehka
common.buy 9.40 €
Charter and Ordinances of the City of Ann Arbor Ann Arbor / Knjiga Mehka
common.buy 18.40 €
The Big Book of 500 Sudoku Puzzles easy (with answers) Sudoku Puzzle Books / Knjiga Mehka
common.buy 14.05 €
Anne of the Island Lucy Maud Montgomery / Knjiga Mehka
common.buy 8.08 €
Progressive French Dialogues And Phrases: Consisting Of A Systematic Collection Of Conversations On Familiar Subjects (1845) Alexander G. Collot / Knjiga Mehka
common.buy 26.49 €
Art of the Cosmos Jim Bell / Knjiga Trda
common.buy 33.77 €
The Sky Is Not the Limit Jeremie Decalf / Knjiga Trda
common.buy 14.86 €
Girls from da Hood 6 Ashley / E-knjiga Adobe ePub DRM
common.buy 6.87 €
Baby's daily Log Book Soby K / Knjiga Mehka
common.buy 22.95 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?