This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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: Applications and Technology: 11th Internatio...

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th . / Programming and Software Engineering)

Brim, Lubos [Editor]; Haverkort, Boudewijn [Editor]; Leucker, Martin [Editor]; Pol, Jaco van de [Editor];

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur