|
|
|
|
LEADER |
00810nam a2200217 a 4500 |
001 |
1783232 |
005 |
20171111234530.0 |
008 |
081229s2009 dcu sb 001 0 eng d |
020 |
|
|
|z 9781586039769
|
040 |
|
|
|a CaPaEBR
|
050 |
1 |
4 |
|a TA345
|b .E64 2009eb
|
245 |
0 |
0 |
|a Engineering methods and tools for software safety and security
|c [edited by] Manfred Broy, Wassiou Sitou, Tony Hoare.
|
260 |
|
|
|a Washington, DC :
|b IOS Press,
|c 2009.
|
300 |
|
|
|a ix, 333 p.
|
490 |
0 |
|
|a NATO science for peace and security series
|
504 |
|
|
|a Includes bibliographical references and index.
|
650 |
|
0 |
|a Engineering
|x Data processing.
|
650 |
|
0 |
|a Engineering
|x Methodology.
|
710 |
2 |
|
|a ebrary, Inc.
|
856 |
4 |
0 |
|u http://site.ebrary.com/lib/ucy/Doc?id=10309220
|
952 |
|
|
|a CY-NiOUC
|b 5a0457106c5ad14ac1eceb6b
|c 998a
|d 945l
|e -
|t 1
|x m
|z Books
|