System Verification : Proving the Design Solution Satisfies the Requirements

Enregistré dans:
Détails bibliographiques
Auteur principal: Grady, Jeffrey O.. (Auteur)
Support: E-Book
Langue: Anglais
Publié: San Diego : Elsevier Science, 2016.
Autres localisations: Voir dans le Sudoc
Accès en ligne: Accès à l'E-book
Lien: Autre support: System Verification : Proving the Design Solution Satisfies the Requirements / Jeffrey O. Grady
LEADER 01998cmm a2200505 i 4500
001 ebook-195536851
005 20220824105110.0
007 cr|cuu---auauu
008 161005s2016||||us ||||g|||d ||||||eng d
020 |a 9780128042229 
024 7 |a 10.1016/c2015-0-01718-x  |2 DOI 
035 |a (OCoLC)956350379 
035 |a FRCYB07488833247 
035 |a FRCYB88833247 
035 |a FRCYB08288833247 
035 |a FRCYB14088833247 
035 |a FRCYB24288833247 
035 |a FRCYB24788833247 
035 |a FRCYB26088833247 
035 |a FRCYB26888833247 
035 |a FRCYB29388833247 
035 |a FRCYB29588833247 
035 |a FRCYB54288833247 
035 |a FRCYB55488833247 
035 |a FRCYB55988833247 
040 |a ABES  |b fre  |e AFNOR 
041 0 |a eng  |2 639-2 
100 1 |0 (IdRef)085848824  |1 http://www.idref.fr/085848824/id  |a Grady, Jeffrey O..  |4 aut.  |e Auteur 
245 1 0 |a System Verification :  |b Proving the Design Solution Satisfies the Requirements   |c Jeffrey O. Grady. 
256 |a Données textuelles. 
260 |a San Diego :  |b Elsevier Science,  |c 2016. 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
337 |b b  |2 isbdmedia 
338 |b ceb  |2 RDAfrCarrier 
500 |a Titre provenant de la page de titre du document numérique. 
500 |a La pagination de l'édition imprimée correspondante est de 416 p. 
506 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
538 |a Configuration requise : navigateur internet. 
776 0 |t System Verification : Proving the Design Solution Satisfies the Requirements / Jeffrey O. Grady  |b Second edition  |d Amsterdam : Elsevier  |h 1 vol. (XXII-391 p.)  |z 978-0-12-804221-2  |w (ABES)204677467 
856 |q HTML  |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88833247  |w Données éditeur  |z Accès à l'E-book 
886 2 |2 unimarc  |a 181  |a i#  |b xxxe## 
993 |a E-Book  
994 |a BNUM 
995 |a 195536851