High Integrity Software - The Spark Approach to Safety and Security - John BARNES
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtrePrix neuf 120,00 €
Qu'est-ce que le prix barré ?
C'est le prix de vente au public, fixé par l'éditeur ou l'importateur, pour le même article neuf.
En savoir plus50,00 €
Occasion · Très Bon État
Ou 12,50 € /mois
- Livraison : 3,99 €
Particulier
Vendeur favori
5/5 sur 3 ventes
Our lives depend -- quite literally -- on software. Banking, transport, medical and industrial control systems rely on software to function correctly. In a software-powered world it is vital for our systems to be secure, reliable and safe. The...
- 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 High Integrity Software - The Spark Approach To Safety And Security de John BARNES Format Broché - Livre Informatique
0 avis sur High Integrity Software - The Spark Approach To Safety And Security de John BARNES Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
Présentation High Integrity Software - The Spark Approach To Safety And Security de John BARNES Format Broché
- Livre Informatique
This book is indispensable to the serious SPARK user, giving a complete description of the enhanced SPARK language and analysis capabilities." --Phil Thornley, Specialist in Safety Critical Software, BAE Systems. "The SPARK approach provides a means by which good software engineering can bepracticed and be seen to be practiced. The book provides a rich description ofand rationale for the language, and could form the foundation for guidelinesused in the programming and verification of safety critical systems." --George Romanski, President, Verocel Inc. "John Barnes has used his characteristic witty style to provide the reader with all they need to understand and to start using the elegant features of the SPARK high integrity language and toolset." --S. Tucker Taft, President, SofCheck Inc., and lead designer of Ada 95.