Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems - Couverture souple

9783319340951: Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Couverture souple

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Editeur : Springer, 2016

Afficher les exemplaires de cette �dition comportant l?ISBN

4 D'occasion

De EUR 35,81

13 Neuf

De EUR 47,23

This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.
SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

� propos de l?auteur

Lecturers of the SFM International School on Formal Methods for the Design of Computer, Communication, and Software Systems

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteurSpringer
Date d'�dition2016
ISBN 10 3319340956
ISBN 13 9783319340951
ReliureBroch�
Langueanglais
Num�ro d'�dition1
Nombre de pages272
�diteurBernardo Marco, De Nicola Rocco, Hillston Jane
Coordonn�es du fabricantnon disponible

Acheter D'occasion

�tat : Tr�s bon

Zustand: Sehr gut | Seiten: 272...

Afficher cet article

EUR 35,81

Autre devise

EUR 9,90 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

Acheter neuf

Afficher cet article

EUR 47,23

Autre devise

EUR 9,70 exp�dition depuis Allemagne vers France

Destinations, frais et d�lais

Ajouter au panier

R�sultats de recherche pour Formal Methods for the Quantitative Evaluation of Collective...

Image d'archives

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Unbekannt

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : Sehr gut. Zustand: Sehr gut | Seiten: 272 | Sprache: Englisch | Produktart: B�cher. N� de r�f. du vendeur 26710031/12

Contacter le vendeur

Acheter D'occasion

EUR 35,81

Autre devise

Frais de port : EUR 9,90

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Bernardo, Marco|De Nicola, Rocco|Hillston, Jane

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Original, readable and useful lecture notes written by leading expertsMade for students, researchers and practitionersA detailed preface, introducing the chapters, is included in the front matter and is freely availab. N� de r�f. du vendeur 119900798

Contacter le vendeur

Acheter neuf

EUR 47,23

Autre devise

Frais de port : EUR 9,70

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems : 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Marco Bernardo

Edit� par Springer International Publishing, 2016

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming. N� de r�f. du vendeur 9783319340951

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 10,99

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo

Edit� par Springer International Publishing Jun 2016, 2016

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Neuf Taschenbuch

impression � la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming. 272 pp. Englisch. N� de r�f. du vendeur 9783319340951

Contacter le vendeur

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 11

De Allemagne vers France

Destinations, frais et d�lais

Quantit� disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems: 16th International School on Formal Methods for the Design of Computer, ... (Programming and Software Engineering)

Edit� par Springer, 2016

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783319340951_new

Contacter le vendeur

Acheter neuf

EUR 61,18

Autre devise

Frais de port : EUR 4,66

De Royaume-Uni vers France

Destinations, frais et d�lais

Quantit� disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo

Edit� par Springer International Publishing, Springer International Publishing Jun 2016, 2016

ISBN 10 : 3319340956 ISBN 13 : 9783319340951

Neuf Taschenbuch

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Neuware -This book presents 8 tutorial lectures given by leading researchers at the 16th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2016, held in Bertinoro, Italy, in June 2016.SFM 2016 was devoted to the Quantitative Evaluation of Collective Adaptive Systems and covered topics such as self-organization in distributed systems, scalable quantitative analysis, spatio-temporal models, and aggregate programming.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 272 pp. Englisch. N� de r�f. du vendeur 9783319340951

Contacter le vendeur