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 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 146 b
59.93 €
In extern magazijn Wordt binnen 9-13 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Debitorenrating Grit S. Becker / Boek Paperback
common.buy 46.96 €
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Boek Blad
common.buy 23.63 €
Bracelet Agate Crazy Lace Perles rondes 8 mm / Boek binding.
common.buy 4.72 €
Gruppenbesteuerung Hubert W Fuchs / Boek Paperback
common.buy 32.38 €
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Boek Paperback
common.buy 16.08 €
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Boek Gebonden
common.buy 6.12 €
Mio marito Maud Ventura / Boek Paperback
common.buy 21.21 €
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Boek Paperback
common.buy 46.36 €
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
common.buy 41.02 €
Gâteaux trompe-l'oeil ! Emily Misson / Boek Gebonden
common.buy 32.48 €
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Boek Paperback
common.buy 33.78 €
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Boek Paperback
common.buy 26.64 €
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Boek Paperback
common.buy 35.39 €
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Boek Paperback
common.buy 23.93 €
Plonger Christophe Ono-dit-Biot / Boek Paperback
common.buy 11.96 €
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Boek Paperback
common.buy 52.79 €
O Sasance Jiří Černický / Boek Gebonden
common.buy 9.65 €
Segovia Maestro Guitar Andres Segovia / Audio Audio cd
common.buy 7.73 €

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 - 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 Paperback
common.buy 16.08 €
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 Paperback
common.buy 26.54 €
Dancing in the Dining Room, Antigua West Indies Donna Goring / Boek Paperback
common.buy 17.79 €
My Favorite Teacher Was an Ironworker Rick Taylor / Boek Gebonden
common.buy 27.04 €
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Boek Gebonden
common.buy 21.41 €
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Boek Paperback
common.buy 53.60 €
Innovations in Financing Public Services S. Bailey / Boek Paperback
common.buy 52.99 €
Buzz Beaker and the Race to School Cari Meister / Boek Paperback
common.buy 7.13 €
Humana Festival 2014: The Complete Plays Les Waters / Boek Paperback
common.buy 22.03 €
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Boek Paperback
common.buy 100.67 €
Workplace Skills: Writing for Work, Student Workbook Contemporary / Boek Paperback
common.buy 60.23 €
Vicksburg Assaults Brandon Franke / Boek Gebonden
common.buy 37.20 €
British Wildlife Photography Awards 9 Gowan / Boek Gebonden
common.buy 28.05 €
TOP
Good Economics for Hard Times Abhijit V. Banerjee / Boek Paperback
common.buy 12.16 €
The Tic CAT Toe Game Book: Travel Format Tic Tac Toe Boards for Cat Lovers! Olivia's Fun Books / Boek Paperback
common.buy 7.73 €
Into the Dungeon Hari Conner / Boek Paperback
common.buy 11.46 €
Nye de l'Île de Sable Marion Arbona / Boek Gebonden
common.buy 18.90 €
As You Serve The Lord Iheme Kingsley Iheme / Boek Paperback
common.buy 11.96 €
Houseplants Playing Cards Ridley's Games / Drukwerk Speelkaarten
common.buy 8.34 €
The Home Edit Stay Organized Joanna Teplin / Boek Gebonden
common.buy 30.26 €
Secrets Kept / Secrets Told Ben Nuttall-Smith / E-book Adobe ePub DRM
common.buy 4.32 €
Damage from a Recent Storm John E Harper / Boek Paperback
common.buy 9.24 €
Logic and Information Keith Devlin / Boek Gebonden
common.buy 135.26 €
Cambridge Companion to Autobiography Maria DiBattista / Boek Gebonden
common.buy 125.31 €

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?