IEEE High - assurance systems engineering workshop: proceedings: October 221 - 22, 1996 Niagara on the Lake, Ontario, Canada/

Corporate Authors: High - Assurance Systems Engineering Workshop, IEEE Computer Society, Technical Committee on Distributed Computing
Format: Book
Language:English
Published: California: IEEE, 1997
Subjects:
LEADER 00941nam a2200217 a 4500
001 927628
005 20171111231402.0
008 020213s1997 xu erbi 001 0 eng d
020 |a 0818676299 
040 |a TEIK  |b gre 
082 0 |2 21  |a 620 
111 2 |a High - Assurance Systems Engineering Workshop 
245 1 0 |a IEEE High - assurance systems engineering workshop:   |b proceedings: October 221 - 22, 1996 Niagara on the Lake, Ontario, Canada/  |c sponsored by IEEE Computer Society, Technical Committee on Distributed Computing 
260 |a California:  |b IEEE,  |c 1997 
300 |a 287σ. :  |b εικ. ;  |c 28εκ. 
504 |a Περιέχει βιβλιογραφία και ευρετήριο 
650 1 0 |a Systems engineering  |x Congresses 
650 1 0 |a Quality assurance  |x Congresses 
710 0 |a IEEE Computer Society 
710 0 |a Technical Committee on Distributed Computing 
952 |a GRThAnMak  |b 59cc971e6c5ad134460081e2  |c 998a  |d 945l  |e 620 IEE  |t 1  |x m  |z Books