Amazon cover image
Image from Amazon.com

Software Safety and Security Tools for Analysis and Verification

By: Hauptmann, Benedikt.-Grumberg, Orna.-Nipkow, Tobias-IOS Press (Firm)Material type: TextTextLanguage: English Series: NATO Science for Peace and Security Series. D, Information and Communication SecurityPublication details: IOS Press 2012 ISBN: 9781614990284Subject(s): Computer security--Congresses.,Computer software--Verification--Congresses | COMPUTERS / Software Development & Engineering / Quality Assurance & TestingDDC classification: 005.1/4 LOC classification: QA76.76.V47 N38 2012ebOnline resources: Click here to access online
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Status Date due Barcode
E-Books E-Books VJEC Central Library
Not for loan

There are no comments on this title.

to post a comment.
Copyright © 2021 Vimal Jyothi Engineering College. All Rights Reserved.
Supported by OpenSio Software Solutions

Powered by Koha