Software safety and security tools for analysis and verification /

Software safety and security tools for analysis and verification /

Show other versions (1)
Saved in:
Bibliographic Details
Corporate Authors: NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security Bayrischzell, Germany, NATO Emerging Security Challenges Division, ebrary, Inc
Other Authors: Nipkow, Tobias, 1958-, Grumberg, Orna, Hauptmann, Benedikt
Format: Electronic Conference Proceeding eBook
Language:English
Published: Washington, D.C. : IOS Press, 2012.
Series:NATO science for peace and security series. Information and communication security ; v. 33.
Subjects:
Computer software > Verification > Congresses.
Computer security > Congresses.
Electronic books.
Online Access:An electronic book accessible through the World Wide Web; click to view
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000nam a2200000 a 4500
001 0000150723
005 20171002062312.0
006 m u
007 cr cn|||||||||
008 120417s2012 dcua s 101 0 eng d
010 |z  2012937823 
020 |z 9781614990277 (hardcover) 
020 |z 9781614990284 (online) 
020 |z 9781614990284 (e-book) 
035 |a (CaPaEBR)ebr10574718 
035 |a (OCoLC)802047753 
040 |a CaPaEBR  |c CaPaEBR 
050 1 4 |a QA76.76.V47  |b N38 2011eb 
111 2 |a NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security  |d (2011 :  |c Bayrischzell, Germany) 
245 1 0 |a Software safety and security  |h [electronic resource] :  |b tools for analysis and verification /  |c edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. 
260 |a Washington, D.C. :  |b IOS Press,  |c 2012. 
300 |a ix, 387 p. :  |b ill. 
490 1 |a NATO science for peace and security series. Sub-series D, Information and communication security,  |x 1874-6268 ;  |v v. 33 
500 |a "Published in cooperation with NATO Emerging Security Challenges Division." 
500 |a "Proceedings of the NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security, Bayrischzell, Germany, 2-14 August 2011"--T.p. verso. 
500 |a Includes indexes. 
533 |a Electronic reproduction.  |b Palo Alto, Calif. :  |c ebrary,  |d 2013.  |n Available via World Wide Web.  |n Access may be limited to ebrary affiliated libraries. 
650 0 |a Computer software  |x Verification  |v Congresses. 
650 0 |a Computer security  |v Congresses. 
655 7 |a Electronic books.  |2 local 
700 1 |a Nipkow, Tobias,  |d 1958- 
700 1 |a Grumberg, Orna. 
700 1 |a Hauptmann, Benedikt. 
710 2 |a NATO Emerging Security Challenges Division. 
710 2 |a ebrary, Inc. 
830 0 |a NATO science for peace and security series.  |n Sub-series D,  |p Information and communication security ;  |v v. 33. 
856 4 0 |u http://site.ebrary.com/lib/daystar/Doc?id=10574718  |z An electronic book accessible through the World Wide Web; click to view 
908 |a 170314 
942 0 0 |c EB 
999 |c 139871  |d 139871 

Similar Items