000 01160nam a2200277Ia 4500
001 ebr10309220
003 CaPaEBR
006 m u
007 cr cn|||||||||
008 081229s2009 dcu sb 001 0 eng d
020 _z9781586039769
040 _aCaPaEBR
_cCaPaEBR
035 _a(OCoLC)647816482
050 1 4 _aTA345
_b.E64 2009eb
245 0 0 _aEngineering methods and tools for software safety and security
_h[electronic resource] /
_c[edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
260 _aWashington, DC :
_bIOS Press,
_c2009.
300 _aix, 333 p.
490 0 _aNATO science for peace and security series
504 _aIncludes bibliographical references and index.
533 _aElectronic reproduction.
_bPalo Alto, Calif. :
_cebrary,
_d2009.
_nAvailable via World Wide Web.
_nAccess may be limited to ebrary affiliated libraries.
650 0 _aEngineering
_xData processing.
650 0 _aEngineering
_xMethodology.
655 7 _aElectronic books.
_2local
710 2 _aebrary, Inc.
856 4 0 _uhttp://site.ebrary.com/lib/rucke/Doc?id=10309220
_zAn electronic book accessible through the World Wide Web; click to view
999 _c61685
_d61685