Matches in Library of Congress for { <http://lccn.loc.gov/2005937272> ?p ?o. }
Showing items 1 to 21 of
21
with 100 items per page.
- 2005937272 contributor B10403696.
- 2005937272 contributor B10403697.
- 2005937272 created "c2006.".
- 2005937272 date "2006".
- 2005937272 date "c2006.".
- 2005937272 dateCopyrighted "c2006.".
- 2005937272 description "Includes bibliographical references and author index.".
- 2005937272 extent "vii, 235 p. :".
- 2005937272 identifier "1586035703".
- 2005937272 isPartOf "NATO security through science series. D : Information and communication security ; vol. 1".
- 2005937272 issued "2006".
- 2005937272 issued "c2006.".
- 2005937272 language "eng".
- 2005937272 publisher "Amsterdam ; Washington, D.C. : IOS Press,".
- 2005937272 subject "Computer security Congresses.".
- 2005937272 subject "Computer software Verification. Congresses.".
- 2005937272 subject "MLCM 2006/40079 (Q)".
- 2005937272 subject "System theory Mathematical models Congresses.".
- 2005937272 subject "System theory Security measures Congresses.".
- 2005937272 title "Verification of infinite-state systems with applications to security / edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.".
- 2005937272 type "text".