Using Event-B for Critical Device Software Systems - Neeraj Kumar Singh - Livres - Springer London Ltd - 9781447157908 - 7 juillet 2015
Si la couverture et le titre ne correspondent pas, le titre est correct.

Neeraj Kumar Singh
Using Event-B for Critical Device Software Systems 2013 edition

Prix
€ 97,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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).

326 pages, 20 black & white tables, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 7 juillet 2015
Date de publication originale 2013
ISBN13 9781447157908
Éditeurs Springer London Ltd
Pages 326
Dimensions 155 × 235 × 18 mm   ·   522 g
Langue et grammaire Anglais  

Plus par Neeraj Kumar Singh

Afficher tout

Voir tous les Neeraj Kumar Singh ( par ex. Paperback Book et Hardcover Book )