The Locator -- [(subject = "Software engineering--Congresses")]

333 records matched your query       

Record 2 | Previous Record | MARC Display | Next Record | Search Results
Author:
NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems (2015 : Marktoberdorf, Germany)
Title:
Dependable software systems engineering / edited by Javier Esparza, Orna Grumberg and Salomon Sickert.
Publisher:
IOS Press,
Copyright Date:
2016
Description:
ix, 285 pages : illustrations ; 25 cm.
Subject:
Computer security--Congresses.
Computer networks--Security measures--Congresses.
Software engineering--Congresses.
Other Authors:
Esparza, Javier, editor.
Grumberg, Orna, editor.
Sickert, Salomon, editor.
Notes:
Proceedings of the NATO Advanced Study Institute (ASI) on Verification and Synthesis of Correct and Secure Systems Marktoberdorf, Germany, 4-16 August 2015. Includes bibliographical references and indexes.
Series:
NATO science for peace and security. Series D, Information and communication security ; vol. 45
ISBN:
1614996261
9781614996262
OCLC:
(OCoLC)950692221
Locations:
USUX851 -- Iowa State University - Parks Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.