Dependable software systems engineering / / edited by Javier Esparza, Orna Grumberg, Salomon Sickert.

Saved in:
Bibliographic Details
Superior document:NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security, Volume 45
TeilnehmendeR:
Place / Publishing House:Amsterdam, Netherlands ;, Berlin, [Germany] ;, Washington, District of Columbia : : IOS Press,, 2016.
2016
Year of Publication:2016
Language:English
Series:NATO science for peace and security series. Information and communication security ; Volume 45.
Online Access:
Physical Description:1 online resource (296 pages) :; illustrations (some color), charts, tables.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 02406nam a2200481 i 4500
001 5004528955
003 MiAaPQ
005 20200917021826.0
006 m o d |
007 cr cnu||||||||
008 160602t20162016ne ad ob 001 0 eng d
020 |z 9781614996262 
020 |a 9781614996279  |q (electronic bk.) 
035 |a (MiAaPQ)5004528955 
035 |a (Au-PeEL)EBL4528955 
035 |a (CaPaEBR)ebr11212748 
035 |a (CaONFJC)MIL923285 
035 |a (OCoLC)951221884 
040 |a MiAaPQ  |b eng  |e rda  |e pn  |c MiAaPQ  |d MiAaPQ 
050 4 |a QA76.9.A25  |b .D474 2016 
082 0 |a 005.8  |2 23 
245 0 0 |a Dependable software systems engineering /  |c edited by Javier Esparza, Orna Grumberg, Salomon Sickert. 
264 1 |a Amsterdam, Netherlands ;  |a Berlin, [Germany] ;  |a Washington, District of Columbia :  |b IOS Press,  |c 2016. 
264 4 |c 2016 
300 |a 1 online resource (296 pages) :  |b illustrations (some color), charts, tables. 
336 |a text  |2 rdacontent 
337 |a computer  |2 rdamedia 
338 |a online resource  |2 rdacarrier 
490 1 |a NATO Science for Peace and Security Series : Sub-Series D: Information and Communication Security,  |x 1879-8292 ;  |v Volume 45 
504 |a Includes bibliographical references at the end of each chapters and indexes. 
588 |a Description based on print version record. 
590 |a Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries. 
650 0 |a Computer security  |v Congresses. 
650 0 |a Computer networks  |x Security measures  |v Congresses. 
650 0 |a Software engineering  |v Congresses. 
655 4 |a Electronic books. 
700 1 |a Esparza, Javier,  |e editor. 
700 1 |a Grumberg, Orna,  |e editor. 
700 1 |a Sickert, Salomon,  |e editor. 
776 0 8 |i Print version:  |t Dependable software systems engineering.  |d Amsterdam, Netherlands ; Berlin, [Germany] ; Washington, District of Columbia : IOS Press, c2016   |h ix, 285 pages   |k NATO science for peace and security series. Sub-series D, pInformation and communication security ; Volume 45.  |z 9781614996262   |w 2016935536 
797 2 |a ProQuest (Firm) 
830 0 |a NATO science for peace and security series.  |n Sub-series D,  |p Information and communication security ;  |v Volume 45. 
856 4 0 |u https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4528955  |z Click to View