Vérifier l’état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Techniques for Distributed Systems Roberto Bruni
Code Libristo: 01658113
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, mai 2011
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on F... Description détaillée
? points 148 b
60.49 € TVA incluse
Stockage externe Expédition sous 14-21 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Nordsee, 20 Postkarten / Jeu/jouet Jouet
common.buy 16.59 €
Bracelet Agate Crazy Lace Perles rondes 8 mm / Livre binding.
common.buy 5.99 €
Plonger Christophe Ono-dit-Biot / Livre Livre de poche
common.buy 13.59 €
Krowa Matylda i zaginiona paczka Alexander Steffensmeier / Livre Livre relié
common.buy 8.69 €
Mio marito Maud Ventura / Livre Livre de poche
common.buy 22.39 €
El Derecho de la publicidad en Chile MARTABIT SAGREDO / Livre Livre de poche
common.buy 48.29 €
Povyshenie stressoustojchivosti uchitelya posredstvom formirovaniya SGM Andrej Rudakov / Livre Livre de poche
common.buy 25.29 €
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 / Livre Livre relié
common.buy 41.59 €
Gâteaux trompe-l'oeil ! Emily Misson / Livre Livre relié
common.buy 34.89 €
Bientôt
O Sasance Jiří Černický / Livre Livre relié
common.buy 10.19 €
UEber Die Metallgehalte in Den Schlacken Des Bleischachtofenprozesses Und Ihr Verhalten Im Elektrischen Feld Helmut Winterhager / Livre Livre de poche
common.buy 55.29 €
Inhibition de la D position Des Sels Insolubles Touhami Lanez / Livre Livre de poche
common.buy 37.29 €
Elementare Schiffahrtkunde Friedrich Gerhard Bolte / Livre Livre de poche
common.buy 29.90 €
Agrarelite, Diktatur und Neoliberalismus Judith Haferland / Livre Livre de poche
common.buy 38.00 €
Debitorenrating Grit S. Becker / Livre Livre de poche
common.buy 49.99 €
Täglich 5 Minuten Sprachförderung. Bd.2 Lily Gleuwitz / Livre Feuille
common.buy 24.99 €
Gruppenbesteuerung Hubert W Fuchs / Livre Livre de poche
common.buy 32.49 €
Livia Drusilla - Iulia Augusta: Kaiserin und Kaisermutter Ute Bartelt / Livre Livre de poche
common.buy 17.95 €

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 & Polyglotte
EWA KASP pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes livres.

À propos du livre

Nom complet Formal Techniques for Distributed Systems
Auteur Roberto Bruni, Juergen Dingel
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 349
EAN 9783642214608
ISBN 3642214606
Code Libristo 01658113
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 547
Dimensions 155 x 235 x 23

Catégories

Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Delivered but not Healed: Exploring the Need for Emotional and Psychological Healing Marcia Dixon-Haye / Livre Livre de poche
common.buy 16.39 €
365 James Robertson / Livre Livre de poche
common.buy 22.39 €
King and the Adulteress Roberto Speziale-Bagliacca / Livre Livre relié
common.buy 75.69 €
Damage from a Recent Storm John E Harper / Livre Livre de poche
common.buy 9.59 €
History and Antiquities of Highgate, Middlesex Frederick Prickett / Livre Livre de poche
common.buy 24.79 €
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 / Livre Livre de poche
common.buy 27.39 €
Dancing in the Dining Room, Antigua West Indies Donna Goring / Livre Livre de poche
common.buy 19.49 €
My Favorite Teacher Was an Ironworker Rick Taylor / Livre Livre relié
common.buy 30.59 €
Workplace Skills: Writing for Work, Student Workbook Contemporary / Livre Livre de poche
common.buy 51.89 €
Fire Dragons & Other Rare Ember Creatures Jessica Feinberg / Livre Livre relié
common.buy 23.89 €
Responsibility and Justice Matravers / Livre Livre relié
common.buy 73.89 €
Theological Dictionary of the Old Testament, Volume XI G. Johannes Botterweck / Livre Livre de poche
common.buy 55.19 €
Innovations in Financing Public Services S. Bailey / Livre Livre de poche
common.buy 55.49 €
Buzz Beaker and the Race to School Cari Meister / Livre Livre de poche
common.buy 7.29 €
Humana Festival 2014: The Complete Plays Les Waters / Livre Livre de poche
common.buy 17.89 €
Kelly L. Murdock's Autodesk 3ds Max 2017 Complete Reference Guide Kelly L. Murdock / Livre Livre de poche
common.buy 100.09 €
Top
Theaetetus of Plato Plato / Livre Livre de poche
common.buy 25.29 €
As You Serve The Lord Iheme Kingsley Iheme / Livre Livre de poche
common.buy 12.19 €
Top
Into the Dungeon Hari Conner / Livre Livre de poche
common.buy 11.19 €
Top
Good Economics for Hard Times Abhijit V. Banerjee / Livre Livre de poche
common.buy 12.99 €
British Wildlife Photography Awards 9 Gowan / Livre Livre relié
common.buy 27.89 €
Logic and Information Keith Devlin / Livre Livre relié
common.buy 136.99 €
Vicksburg Assaults Brandon Franke / Livre Livre relié
common.buy 36.19 €
Cambridge Companion to Autobiography Maria DiBattista / Livre Livre relié
common.buy 128.59 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?