This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and covered several aspects of the field.

Pr�sentation de l'�diteur:

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

Description de la librairie

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

GuthrieBooks
TX, U.S.A.

Conditions de vente :

At this time we accept payment through Visa or Mastercard.

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Formal Methods for Performance Evaluation: 7th International...

Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . / Programming and Software Engineering)

Bernardo, Marco [Editor]; Hillston, Jane [Editor];

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur