Formal Methods for Distributed System Development

Langue : anglais

Edité par Kluwer Academic Publishers, 2000

0792379683 / 9780792379683

Vendeur : Kennys Bookstore, Olney, MD, Etats-UnisKennys Bookstore

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 octobre 2009

Livre relié

Etat: Neuf

EUR 334,79

EUR 9,35 expédition 
Expédition nationale : Etats-Unis

Quantité disponible : 15 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Addresses Formal Methods (FMs) applicable to the specification, verification, implementation, and testing of complex distributed systems and communication protocols. This book covers the topics: model checking theory and applications; verification and theorem proving; testing theory and applications; and multicast protocol analysis and simulation. Editor(s): Bolognesi, Tommaso; Latella, Diego. Series: IFIP Advances in Information and Communication Technology. Num Pages: 423 pages, biography. BIC Classification: UY. Category: (G) General (US: Trade); (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 1710. . 2000. Hardback. . . . . Books ship from the US and Ireland.

N° de réf. du vendeur V9780792379683

Titre
Formal Methods for Distributed System Development
Auteur
. Ed(s): Bolognesi, Tommaso; Latella, Diego
Éditeur
Kluwer Academic Publishers
Année de publication
2000
État de l'article
New
Reliure
Couverture rigide
Langue
anglais
ISBN à 10 chiffres
0792379683
ISBN à 13 chiffres
9780792379683

Kennys Bookstore

Olney, MD, Etats-Unis

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 octobre 2009

Frais d'expédition à l'intérieur de ce pays : Etats-Unis

Article14 à 20 jours ouvrés13 à 14 jours ouvrés
Premier articleEUR 9,35EUR 18,69
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Description de la boutique

We carry a comprehensive range of out of print and rare books.

Spécialité

Revolution, War, Peace, Irish Studies

Profil professionnel du vendeur

Kennys Bookshop and Art Galleries (Holdings) Limited

Liosbán Retail Park, Tuam Road
Galway, Irlande H91 N5P8