Formal Methods for Distributed System Development: FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10 13, 2000, Pisa, Italy (IFIP Advances in Information and Communication Technology)

Bolognesi, Tommaso (Editor) / Latella, Diego (Editor)

ISBN 10: 1475752644 ISBN 13: 9781475752649
Edité par Springer, 2013
Langue: anglais
Etat : Neuf Couverture souple

Vendu par Revaluation Books, Exeter, Royaume-Uni

Vendeur AbeBooks depuis 6 janvier 2003

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Neuf(s) - Couverture souple

Etat : Neuf

Prix:
EUR 297,29
EUR 14,24 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 2 disponible(s)

Ajouter au panier