嶺東科技大學 |

Language: English

Login

Create an account

Back

Switch To: Labeled | MARC Mode | ISBD

Software safety and security : tools for analysis and verification

Record Type:	Electronic resources : monographic
Title Information:	tools for analysis and verification
Secondary Intellectual Responsibility:	NipkowTobias, 1958-
Secondary Intellectual Responsibility:	GrumbergOrna.,
Secondary Intellectual Responsibility:	HauptmannBenedikt.,
Corporate Body:	NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security(2011
Secondary Intellectual Responsibility:	NATO Emerging Security Challenges Division.
Place of Publication:	Washington, D.C.
Published:	IOS Press;
Year of Publication:	2012.
Description:	ix, 387 p.ill. : 25 cm.;
Series:	NATO science for peace and security series. Sub-series D, Information and communication security
Subject:	Computer software - Verification -
Subject:	Computer security - Congresses. -
Online resource:	http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614990277
Notes:	Includes indexes.
ISBN:	9781614990284(electronic bk.)
ISBN:	9781614990277

Software safety and security : tools for analysis and verification
NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security

Software safety and security : tools for analysis and verification / edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann. - Washington, D.C. : IOS Press, 2012.. - ix, 387 p. ; ill. ; 25 cm.. - (NATO science for peace and security series. Sub-series D, Information and communication security ; v. 33.).
Includes indexes..
ISBN 9781614990284ISBN 9781614990277
Computer softwareComputer security -- Verification -- Congresses.

Nipkow, Tobias

Software safety and security : tools for analysis and verification
LDR:00947clm 2200265 i 450 001 279561
005 20131009143751.0
009 13000384
010 1 $a 9781614990284 $b (electronic bk.)
010 1 $a 9781614990277
100 $a 20140221d2012 u y0engy01 b
101 0 $a eng
102 $a us
105 $a a z 101yy
135 $a v
200 1 $a Software safety and security $e tools for analysis and verification $f edited by Tobias Nipkow, Orna Grumberg and Benedikt Hauptmann.
204 1 $a [electronic resource]
210 $a Washington, D.C. $d 2012. $c IOS Press
215 1 $a ix, 387 p. $c ill. $d 25 cm.
225 2 $a NATO science for peace and security series. Sub-series D, Information and communication security $v v. 33.
300 $a Includes indexes.
606 $a Computer software $x Verification $x Congresses. $2 lc $3 300363
606 $a Computer security $x Congresses. $2 lc $3 300364
676 $a 005.1/4 $v 23
680 $a QA76.76.V47 $b N38 2011
702 1 $a Nipkow $b Tobias $f 1958- $3 300359
702 1 $a Grumberg $b Orna. $3 300360
702 1 $a Hauptmann $b Benedikt. $3 300361
710 1 2 $a NATO Advanced Study Institute on Tools for Analysis and Verification of Software Safety and Security $f (2011 $c Bayrischzell, Germany) $3 300362
712 0 2 $a NATO Emerging Security Challenges Division. $3 299913
801 0 $a tw $b Windeal $c 20131021 $d ltu
801 1 $a tw $b Windeal $c 20131021 $d ltu
856 7 $u http://ebooks.windeal.com.tw/ios/cover.asp?isbn=9781614990277

based on 0 review(s)

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login