Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
×
Log in to your account
Login:
Password:
Forgot your password?
Home
›
Details for: Software and systems safety : specification and verification
Normal view
MARC view
ISBD view
Software and systems safety : specification and verification
By:
Broy, Manfred
.
Contributor(s):
Hoare, Tony
|
Leuxner, Christian
|
NATO Advanced Study Institute on Software and Systems Safety: Specification and Verification
.
Material type:
Book
Series:
NATO science for peace and security series. Sub-series D. information and communication security
.
Publisher:
Amsterdam:
IOS Press,
2011
Description:
ix, 285 p.; ill.: 25 cm
.
ISBN:
9781607507109 .
Subject(s):
Computer security -- Congresses
|
Computer software -- Verification -- Congresses
|
Software engineering -- Congresses
DDC classification:
005.8
Tags from this library:
No tags from this library for this title.
Log in to add tags.
Holdings ( 1 )
Comments ( 0 )
Item type
Current location
Call number
Status
Date due
Barcode
Books
005.8 BRO (
Browse shelf
)
Available
026486
Browsing DAIICT Shelves
Close shelf browser
Previous
Next
005.8 BRO
Disruptive security technologies with mobile code and peer to peer networks
005.8 BRO
Programming Windows Security
005.8 BRO
802.1X port-based authentification
005.8 BRO
Software and systems safety : specification and verification
005.8 BRU
Cryptography, information theory, and error-correction : a handbook for the twenty first century
005.8 BRU
Security in distributed computing : did you lock the door?
005.8 BUC
Introduction to security and network forensics
There are no comments for this item.
Log in to your account
to post a comment.
Print
Save record
BIBTEX
Dublin Core
MARC (non-Unicode/MARC-8)
MARCXML
RIS
MARC (Unicode/UTF-8)
More searches
Search for this title in:
Other Libraries (WorldCat)
Other Databases (Google Scholar)
Online Stores (Bookfinder.com)
Open Library (openlibrary.org)
×
Exporting to Dublin Core...
Simple DC-RDF
OAI-DC
SRW-DC
Powered by
Koha
There are no comments for this item.