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

Bernardo, Marco (EDT); De Nicola, Rocco (EDT); Hillston, Jane (EDT)

ISBN 10: 3319340956 ISBN 13: 9783319340951
Editore: Springer, 2016
Lingua: Inglese
Condizione: Nuovo Brossura

Venduto da GreatBookPrices, Columbia, MD, U.S.A.

Venditore AbeBooks dal 6 aprile 2009

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Visualizza gli articoli del venditore


Nuovi - Brossura

Condizione: Nuovo

Prezzo: EUR 53,44 Convertire valuta
EUR 17,04 per la spedizione da U.S.A. a Italia Destinazione, tempi e costi

Quantità: Più di 20 disponibili

Aggiungere al carrello