Il s'agit de notre librairie Canada.

Il semble que vous résidiez au États-Unis. Vous devez avoir une adresse aux Canada pour effectuer des achats dans notre librairie Canada. Rendez-vous sur notre librairie États-Unis pour continuer.

Choisir une autre librairie Accéder à la librairie États-Unis Accéder à la librairie États-Unis Choisir une autre librairie

Créer un compte

Compte existant?Connexion

Formal Methods for Multicore Programming - 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures eBook par

Formal Methods for Multicore Programming

15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

Marco Bernardo,Einar Broch Johnsen

Computer Science (R0)

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783319189413
Date de parution :30 déc. 2016
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB2
Taille de fichier :3.81 MB
Options de téléchargement :EPUB2 (Adobe DRM)

Dans cette série

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - eBook par Marco Bernardo,Rocco De Nicola,Jane Hillston

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo,Rocco De Nicola,Jane Hillston