Trustworthy global computing third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers / Gilles Barthe, Cédric Fournet (eds.).

Author/creator TGC 2007
Other author Barthe, Gilles, 1967-
Other author Fournet, Cédric.
Format Electronic
Publication InfoBerlin ; New York : Springer,
Descriptionxi, 400 p. : ill. ; 24 cm.
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects
Computer security--Congresses.
Computer networks--Security measures. --Congresses.
Computer software--Validation. --Congresses.
Computer software--Verification. --Congresses.

SeriesLecture notes in computer science ; 4912
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2008922366
ISBN9783540786627 (softcover : alk. paper)
ISBN3540786627 (softcover : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available