Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Techniques for Distributed Systems John Hatcliff
Libristo-code: 01655975
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, juni 2010
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Volledige beschrijving
? points 142 b
58.54 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner / Boek Gebonden (paperback)
common.buy 35.58 €
Siegfried. Giganc. Tom 2 wyd. 2025 Lylian / Boek Gebonden (paperback)
common.buy 7.88 €
Guide Pratique d'Audit Social de Conformité Emmanuel Beck / Boek Gebonden (paperback)
common.buy 40.13 €
BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA / Boek Boek
common.buy 14.75 €
L'Anneau nuptial ; les aventures d'Arsene Lupin Leblanc / Luisterboek MP3
common.buy 3.93 €
Mathe.Logo Bayern 8 I - neu Patricia Weixler / Boek Gebonden (harde band)
common.buy 30.43 €
Indirekte Sterbehilfe Sophie Roggendorf / Boek Gebonden (paperback)
common.buy 36.80 €
Totalitarismo 100. Ritorno alla storia Emilio Gentile / Boek Gebonden (paperback)
common.buy 24.16 €
Kde bývajú zvieratká? neuvedený autor / Boek Leporello (harmonicaboek)
common.buy 8.38 €
Constitucion de la Confederacion Argentina Linkgua / Boek Gebonden (paperback)
common.buy 11.92 €
Labutie piesne Pavol Hammel / Audio Audio cd
common.buy 11.52 €
Cowboy fur die Liebe Martina Gercke / Boek Gebonden (paperback)
common.buy 9.09 €
Grusel, Terror, Videospiel Christoph Hurka / Boek Gebonden (paperback)
common.buy 21.53 €
Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen / Boek Gebonden (paperback)
common.buy 16.17 €
literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel / Boek Gebonden (harde band)
common.buy 167.13 €
Beat Kusagi David Sterritt / Boek Gebonden (paperback)
common.buy 9.19 €
Der Alpenkönig und der Menschenfeind Ferdinand Raimund / Boek Gebonden (paperback)
common.buy 5.45 €
Senilita Italo Svevo / Boek Gebonden (paperback)
common.buy 12.63 €
Marketing im Mittelstand Clemens Renker / Boek Gebonden (harde band)
common.buy 69.66 €
Tata a jeho syn Arnošt Goldflam / Audio Audio cd
common.buy 10.00 €
Jahre des Umbruchs Clemens Vollnhals / Boek Gebonden (harde band)
common.buy 106.16 €
Lieber ein Optimist, der sich mal irrt... Peter Hohl / Boek Gebonden (harde band)
common.buy 7.47 €
Hochzeitsreise Charles de Coster / Boek Gebonden (harde band)
common.buy 22.34 €
Detektywistyka Brakoniecki Dariusz / Boek Gebonden (paperback)
common.buy 17.89 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Techniques for Distributed Systems
Auteur John Hatcliff, Elena Zucca
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2010
Aantal pagina's 233
EAN 9783642134630
ISBN 3642134637
Libristo-code 01655975
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 386
Afmetingen 159 x 240 x 19

Categorieën

Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Computernetwerken en communicatiesystemen > Gedistribueerde systemen
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Computer-Supported Cooperative Work Uwe M. Borghoff / Boek Gebonden (paperback)
common.buy 50.55 €
Articulated Motion and Deformable Objects Francisco J. Perales / Boek Gebonden (paperback)
common.buy 58.54 €
Algorithms - ESA 2007 Lars Arge / Boek Gebonden (paperback)
common.buy 102.93 €
Do Magazine Presents Quilting Techniques & Projects Editors of Do Magazine / Boek Gebonden (paperback)
common.buy 9.70 €
Breeding for Disease Resistance in Farm Animals Roger Axford / Boek Gebonden (harde band)
common.buy 176.13 €
Ragtime, Blues & Jazz for Banjo Fred Sokolow / Boek Gebonden (paperback)
common.buy 33.86 €
Postcolonial London John McLeod / Boek Gebonden (harde band)
common.buy 209.00 €
Playing Guitar Musically: A Guide to Creativity on Guitar & Bass. Adam Satur / Boek Gebonden (paperback)
common.buy 22.94 €
Observatory Mansions Edward Carey / Boek Gebonden (paperback)
common.buy 18.70 €
What Color Is the Wind? Anne Herbauts / Boek Gebonden (paperback)
common.buy 17.18 €
The End of the Perfect 10: The Making and Breaking of Gymnastics' Top Score --From Nadia to Now Dvora Meyers / Boek Gebonden (paperback)
common.buy 13.54 €
The Life of Martin Luther William Rein / Boek Gebonden (paperback)
common.buy 29.72 €
Words Of Love 1959-2009 Gary Lynn Clevenger / Boek Gebonden (paperback)
common.buy 14.85 €
Addresses Against Incorporating Union, 1706-1707 Karin Bowie / Boek Gebonden (harde band)
common.buy 99.08 €
Only Giants Live Forever (Unless You Kill Them) Dale Skutt / Boek Gebonden (paperback)
common.buy 19.81 €
240 Brain Variety Puzzles, Vol 1 Jaja Books / Boek Gebonden (paperback)
common.buy 9.90 €
Charter and Ordinances of the City of Ann Arbor Ann Arbor / Boek Gebonden (paperback)
common.buy 19.30 €
The Big Book of 500 Sudoku Puzzles easy (with answers) Sudoku Puzzle Books / Boek Gebonden (paperback)
common.buy 14.75 €
Anne of the Island Lucy Maud Montgomery / Boek Gebonden (paperback)
common.buy 8.58 €
Progressive French Dialogues And Phrases: Consisting Of A Systematic Collection Of Conversations On Familiar Subjects (1845) Alexander G. Collot / Boek Gebonden (paperback)
common.buy 27.80 €
Art of the Cosmos Jim Bell / Boek Gebonden (harde band)
common.buy 35.89 €
The Sky Is Not the Limit Jeremie Decalf / Boek Gebonden (harde band)
common.buy 16.07 €
Girls from da Hood 6 Ashley / E-book Adobe ePub DRM
common.buy 7.57 €
Baby's daily Log Book Soby K / Boek Gebonden (paperback)
common.buy 24.16 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?