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 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Techniques for Distributed Systems

Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Island, June 6-9, 2011, Proceedings

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

Retourneren binnen 30 dagen

Klanten kochten ook

TOP
Gâteaux trompe-l'oeil ! Emily Misson / Boek Gebonden (harde band)
common.buy 33.82 €
Comedias Escogidas De Frey Lope Felix De Vega Carpio: Lo Que Ha De Ser. El Molino. La Dama Melindrosa. Los Locos De Valencia Lope De Vega / Boek Gebonden (harde band)
common.buy 40.20 €
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Boek Gebonden (paperback)
common.buy 24.20 €
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Boek Gebonden (paperback)
common.buy 46.88 €
Mio marito Maud Ventura / Boek Gebonden (paperback)
common.buy 21.66 €
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Boek Gebonden (harde band)
common.buy 8.40 €
Bracelet Agate Crazy Lace Perles rondes 8 mm / Boek binding.
common.buy 5.76 €
Nordsee, 20 Postkarten / Spel/speelgoed Speelgoed
common.buy 16.80 €
Plonger Christophe Ono-dit-Biot / Boek Gebonden (paperback)
common.buy 13.16 €
O Sasance Jiří Černický / Boek Gebonden (harde band)
common.buy 9.71 €
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Boek Gebonden (paperback)
common.buy 53.16 €
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Boek Gebonden (paperback)
common.buy 35.74 €
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Boek Gebonden (paperback)
common.buy 26.83 €
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Boek Gebonden (paperback)
common.buy 34.02 €
Debitorenrating Grit S. Becker / Boek Gebonden (paperback)
common.buy 47.29 €
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Boek Blad
common.buy 23.79 €
Gruppenbesteuerung Hubert W Fuchs / Boek Gebonden (paperback)
common.buy 32.81 €
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Boek Gebonden (paperback)
common.buy 16.20 €

This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2011, and the 31st IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2011, held in Reykjavik, Island, in June 2011, as one of the DisCoTec 2011 events. The 21 revised full papers presented together with one invited talk were carefully reviewed and selected from 65 submissions. The topics covered are formal verification, formal modeling and specification, run-time monitoring, and testing to address challenges in many different application areas, including dynamic and ad hoc networks, mobile and adaptive computation, reactive and timed systems, business processes, and distributed and concurrent systems and algorithms.

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 Roberto Bruni, Juergen Dingel
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2011
Aantal pagina's 349
EAN 9783642214608
ISBN 3642214606
Libristo-code 01658113
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 547
Afmetingen 155 x 235 x 23

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica
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 > 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

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye / Boek Gebonden (paperback)
common.buy 15.79 €
365 James Robertson / Boek Gebonden (paperback)
common.buy 22.68 €
King and the Adulteress Roberto Speziale-Bagliacca / Boek Gebonden (harde band)
common.buy 72.71 €
Damage from a Recent Storm John E Harper / Boek Gebonden (paperback)
common.buy 9.21 €
Elsworth F. Baker, Kenneth M. Bremmer, Philip Gold, et al., Petitioners, V. United States of America. U.S. Supreme Court Transcript of Record with Sup William W Goodrick / Boek Gebonden (paperback)
common.buy 26.12 €
Dancing in the Dining Room, Antigua West Indies Donna Goring / Boek Gebonden (paperback)
common.buy 18.83 €
My Favorite Teacher Was an Ironworker Rick Taylor / Boek Gebonden (harde band)
common.buy 29.56 €
Workplace Skills: Writing for Work, Student Workbook Contemporary / Boek Gebonden (paperback)
common.buy 50.33 €
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Boek Gebonden (harde band)
common.buy 23.08 €
Responsibility and Justice Matravers / Boek Gebonden (harde band)
common.buy 71.70 €
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Boek Gebonden (paperback)
common.buy 51.85 €
Innovations in Financing Public Services S. Bailey / Boek Gebonden (paperback)
common.buy 53.37 €
Buzz Beaker and the Race to School Cari Meister / Boek Gebonden (paperback)
common.buy 6.98 €
Humana Festival 2014: The Complete Plays Les Waters / Boek Gebonden (paperback)
common.buy 22.68 €
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Boek Gebonden (paperback)
common.buy 101.37 €
Theaetetus of Plato Plato / Boek Gebonden (paperback)
common.buy 21.66 €
Directions of a Pastoral Lifetime William Flewelling / Boek Gebonden (paperback)
common.buy 21.26 €
Lemons, Limes & Oranges Coralie Dorman / Boek Gebonden (paperback)
common.buy 9.31 €
Radiology of HIV/AIDS Hongjun Li / Boek Gebonden (harde band)
common.buy 239.52 €
Cambridge Companion to Autobiography Maria DiBattista / Boek Gebonden (harde band)
common.buy 124.26 €
Vicksburg Assaults Brandon Franke / Boek Gebonden (harde band)
common.buy 36.65 €
Logic and Information Keith Devlin / Boek Gebonden (harde band)
common.buy 132.57 €
British Wildlife Photography Awards 9 Gowan / Boek Gebonden (harde band)
common.buy 28.25 €
TOP
Good Economics for Hard Times Abhijit V. Banerjee / Boek Gebonden (paperback)
common.buy 12.24 €

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?