Articles liés à Formal Methods for Embedded Distributed Systems: How...
Synopsis
Formal Methods for Embedded Distributed Systems Presents some techniques to be used in the context of distributed and/or embedded systems. This book makes many connections between 'traditional development approaches' and the developments in formal techniques that are known as the best solution to significantly increase the reliability of such systems.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer-Verlag New York Inc.
- Date d'édition1991
- ISBN 10 1402079966
- ISBN 13 9781402079962
- ReliureRelié
- Nombre de pages263
- ÉditeurKordon Fabrice, Lemoine Michel
Acheter D'occasion
état : Très bonAncien livre de bibliothèque. Edition... En savoir plus sur cette édition
EUR 59,44
Frais de port :
EUR 8
De France vers Etats-Unis
Acheter neuf
En savoir plus sur cette édition
EUR 94,26
Frais de port :
Gratuit
Vers Etats-Unis
Meilleurs résultats de recherche sur AbeBooks
Image d'archives
Formal Methods for Embedded Distributed Systems: How To Master The Complexity
Edité par
Springer-Verlag New York Inc., 2004
ISBN 10 : 1402079966
ISBN 13 : 9781402079962
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 2004. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2004. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-812-747
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods for Embedded Distributed Systems: How to Master the Complexity
Edité par
SPRINGER NATURE, 1991
ISBN 10 : 1402079966
ISBN 13 : 9781402079962
Ancien ou d'occasion
Couverture rigide
Vendeur : Buchpark, Trebbin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. | Seiten: 263 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 3018375/2
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods For Embedded Distributed Systems: How To Master The Complexity (the Kluwer International Series In Engineering & Computer Science)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-167987
Quantité disponible : 1 disponible(s)
Image d'archives
FORMAL METHODS FOR EMBEDDED DISTRIBUTED SYSTEMS: HOW TO MASTER THE COMPLEXITY (THE KLUWER INTERNATIONAL SERIES IN ENGINEERING & COMPUTER SCIENCE)
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-167986
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods For Embedded Distributed Systems: How To Master The Complexity (the Kluwer International Series In Engineering & Computer Science)
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABTR-219872
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc) [Hardcover ]
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Hardcover. Etat : new. N° de réf. du vendeur 9781402079962
Quantité disponible : 10 disponible(s)
Image d'archives
Formal Methods for Embedded Distributed Systems: How to master the complexity (Kluwer International Series in Engineering & Computer Scienc)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar2411530145051
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Embedded Distributed Systems : How to master the complexity
impression à la demandeVendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. N° de réf. du vendeur ria9781402079962_lsuk
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods for Embedded Distributed Systems: How to master the complexity
Edité par
Springer-Verlag New York Inc., 1991
ISBN 10 : 1402079966
ISBN 13 : 9781402079962
Neuf
Couverture rigide
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. N° de réf. du vendeur C9781402079962
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods for Embedded Distributed Systems: How to Master the Complexity
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Gebunden. Etat : New. The main reason for buying such a book is that it suggests a proposal for a full coverage of the software life cycle of critical and/or distributed system. It also makes many connections to formal techniques, that are known as the best solution to signif. N° de réf. du vendeur 458476805
Quantité disponible : Plus de 20 disponibles