The Resource Formal to practical security : papers issued from the 2005-2008 French-Japanese collaboration, Véronique Cortier ... (ed.), (electronic resource)

Formal to practical security : papers issued from the 2005-2008 French-Japanese collaboration, Véronique Cortier ... (ed.), (electronic resource)

Label
Formal to practical security : papers issued from the 2005-2008 French-Japanese collaboration
Title
Formal to practical security
Title remainder
papers issued from the 2005-2008 French-Japanese collaboration
Statement of responsibility
Véronique Cortier ... (ed.)
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
GW5XE
Illustrations
illustrations
Index
index present
Literary form
non fiction
Nature of contents
  • dictionaries
  • bibliography
Series statement
  • Lecture notes in computer science,
  • State of the art survey
Series volume
5458
Label
Formal to practical security : papers issued from the 2005-2008 French-Japanese collaboration, Véronique Cortier ... (ed.), (electronic resource)
Link
http://dx.doi.org/10.1007/978-3-642-02002-5
Publication
Bibliography note
Includes bibliographical references and index
Control code
ocn424512048
Dimensions
unknown
Extent
1 online resource (197 p.)
Form of item
online
Isbn
9783642020025
Other physical details
ill.
Specific material designation
remote
Stock number
978-3-642-02001-8
System control number
(OCoLC)424512048

Library Locations

    • ERDC - Hanover (US Army Engineer Research and Development Center) Borrow it
      72 Lyme Road, Hanover, NH, 03755-1290, US
      43.7279642 -72.2684934
Processing Feedback ...