Matches in Library of Congress for { <http://lccn.loc.gov/2008922610> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- 2008922610 contributor B11378007.
- 2008922610 contributor B11378008.
- 2008922610 created "c2008.".
- 2008922610 date "2008".
- 2008922610 date "c2008.".
- 2008922610 dateCopyrighted "c2008.".
- 2008922610 description "Includes bibliographical references and index.".
- 2008922610 extent "ix, 318 p. :".
- 2008922610 identifier "1586038435".
- 2008922610 identifier "9781586038434".
- 2008922610 identifier 2008922610.html.
- 2008922610 isPartOf "NATO security through science series. D, Information and communication security, 1874-6268 ; v. 14".
- 2008922610 issued "2008".
- 2008922610 issued "c2008.".
- 2008922610 language "eng".
- 2008922610 publisher "Amsterdam, Netherlands ; Washington, DC : IOS Press,".
- 2008922610 subject "005.8 22".
- 2008922610 subject "Computer logic Congresses.".
- 2008922610 subject "Computer security Congresses.".
- 2008922610 subject "QA76.9.A25 N377 2007".
- 2008922610 title "Formal logical methods for system security and correctness / edited by Orna Grumberg, Tobias Nipkow and Christian Pfaller.".
- 2008922610 type "text".