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
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Formal Techniques for Distributed Objects, Components, and Systems

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Techniques for Distributed Objects, Components, and Systems Ahmed Bouajjani
Code Libristo: 16300684
Éditeurs Springer International Publishing AG, mai 2017
This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Tec... Description détaillée
? points 125 b
51.56 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Moldavie La Recherche de Ses Identit s Schultz Ilioné / Livre Livre de poche
common.buy 63.78 €

This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. The 13 revised full papers presented together with 3 short and 1 tool papers were carefully reviewed and selected from 30 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Formal Techniques for Distributed Objects, Components, and Systems
Auteur Ahmed Bouajjani, Alexandra Silva
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2017
Nombre de pages 243
EAN 9783319602240
ISBN 3319602241
Code Libristo 16300684
Éditeurs Springer International Publishing AG
Poids 3985
Dimensions 155 x 235 x 17

Catégories

Informatique et technologies de l’information > Matériel informatique > Equipement de réseau
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 > Intelligence artificielle
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

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 ?