Using Event-B for Critical Device Software Systems - Singh, Neeraj Kumar
- Format: Relié Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre157,01 €
Produit Neuf
Ou 39,25 € /mois
- Livraison : 3,99 €
- Livré entre le 27 juillet et le 3 août
Nos autres offres
-
163,44 €
Produit Neuf
Ou 40,86 € /mois
- Livraison à 0,01 €
- Livré entre le 28 juillet et le 10 août
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9781447152590_dbm
Voir le détail de l'annonce -
200,99 €
Produit Neuf
Ou 50,25 € /mois
- Livraison : 25,00 €
- Livré entre le 10 et le 17 août
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
Voir le détail de l'annonce -
232,21 €
Produit Neuf
Ou 58,05 € /mois
- Livraison à 0,01 €
Expédition rapide et soignée depuis l`Angleterre - Délai de livraison: entre 10 et 20 jours ouvrés.
Voir le détail de l'annonce
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Using Event - B For Critical Device Software Systems de Singh, Neeraj Kumar Format Relié - Livre Informatique
0 avis sur Using Event - B For Critical Device Software Systems de Singh, Neeraj Kumar Format Relié - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
By Marc Pairon Art Deco Ceramics Made In Belgium: Charles Catteau
6 avis
Occasion dès 110,00 €
-
The Shock Of The Ancient
Neuf dès 79,73 €
-
An American Odyssey - Photos From The Detroit Photographic Compagny 1888-1924
Occasion dès 114,00 €
-
Just Enough Software Architecture: A Risk-Driven Approach
Occasion dès 125,99 €
-
Dji Osmo 4 : 4k/240fps3activetrack
Neuf dès 85,99 €
-
Gilbert Portanier
Neuf dès 141,34 €
-
Indian Jewelry Making Volume 1
Occasion dès 110,00 €
-
Vouet: Grand Palais 6 Novembre 1990 11 Février 1991
Occasion dès 150,00 €
-
St - Tropez Soleil
1 avis
Neuf dès 105,00 €
-
Pete Townshend: Who I Am
Neuf dès 127,99 €
-
Cambridge English Proficiency 2 Student's Book With Answers With Audio
Neuf dès 91,64 €
-
Car Racing 1965
2 avis
Neuf dès 109,00 €
-
The Lord Of The Rings
Neuf dès 183,21 €
-
The New Munsell Student Color Set
Neuf dès 125,62 €
-
Mykonos Muse
Neuf dès 105,00 €
Occasion dès 155,00 €
-
Jouef : Les Petits Trains De Notre Enfance
1 avis
Occasion dès 115,00 €
-
Paolo Roversi Livre Nudi
2 avis
Occasion dès 175,00 €
-
Car Racing 1970
3 avis
Neuf dès 129,00 €
-
Financial & Managerial Accounting Ise
Neuf dès 104,72 €
-
Official Game Guide Mass Effect 3 Collector Edition
Occasion dès 79,00 €
Produits similaires
Présentation Using Event - B For Critical Device Software Systems de Singh, Neeraj Kumar Format Relié
- Livre Informatique
Résumé :
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation). This is assessed and evaluated via a standard case study: the cardiac pacemaker. Additionally a formalisation of an Electrocardiogram (ECG) is used to identify anomalies in order to improve existing medical protocols. This allows the key issue - that formal methods are not currently integrated into established critical systems development processes - to be discussed in a highly effective and informative way. Using Event-B for Critical Device Software Systems serves as a valuable resource for researchers and students of formal methods. The assessment of critical systems development is applicable to all industries, but engineers and physicians from the health domain will find the cardiac pacemaker case study of particular value.
Biographie:
Sommaire: Preface.- Introduction.- Background.- The Modelling Framework: Event-B.- Critical System Development Methodology.- Real-Time Animator and Requirements Traceability.- Refinement Chart.- EB2ALL: An Automatic Code Generator Tool.- Formal Logic Based Heart-Model.- The Cardiac Pacemaker.- Electrocardiogram (ECG).- Conclusion.- Appendix A: Certification Standards.- Index.
Détails de conformité du produit
Personne responsable dans l'UE