Cover Image

Trustworthy global computing : third symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers /

Bibliographic Details
Corporate Authors: TGC 2007 Sophia-Antipolis, France, SpringerLink (Online service)
Other Authors: Barthe, Gilles, 1967-, Fournet, Cédric
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [2008]
Series:LNCS sublibrary. Theoretical computer science and general issues.
Lecture notes in computer science ; 4912.
Subjects:
Computer networks > Security measures > Congresses.
Computer security > Congresses.
Computer software > Validation > Congresses.
Computer software > Verification > Congresses.
Electronic books.
Online Access:Connect to the full text of this electronic book
Publisher description
Description
Item Description:Electronic resource.
Physical Description:xi, 400 pages : illustrations ; 24 cm.
Bibliography:Includes bibliographical references and index.
ISBN:3540786635
9783540786634
DOI:10.1007/978-3-540-78663-4