Trustworthy global computing : third symposium, TGC 2007 : Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers. : international symposium on trustworthy global computing : workshop on the interplay of programming languages and cryptography : Nov 2007, Sophia-Antipolis, France. (Lecture Notes in Computer Science ; 4912)

Trustworthy global computing : third symposium, TGC 2007 : Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers. : international symposium on trustworthy global computing : workshop on the interplay of programming languages and cryptography : Nov 2007, Sophia-Antipolis, France.

(Lecture Notes in Computer Science ; 4912)

Call No. (NDL): M17-08-941
Bibliographic ID of National Diet Library: 000009338850

Material type: 図書

Author: Barthe, Gilles, 1967-ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xi, 400 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Revised selected papers and abstracts."This volume contains (...) and tutorial papers of the following Workshop on the Interplay of Programming Langua...

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783540786627 (ISBN-13 : softcover : alk. paper)
3540786627 (softcover : alk. paper)
ISSN (series): 0302-9743
Title: Trustworthy global computing : third symposium, TGC 2007 : Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers. : international symposium on trustworthy global computing : workshop on the interplay of programming languages and cryptography : Nov 2007, Sophia-Antipolis, France.
Series Title: Lecture Notes in Computer Science ; 4912
Author Heading: Barthe, Gilles, 1967-
Fournet, Cédric.
TGC 2007 (2007 : Sophia-Antipolis, France)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xi, 400 p. : ill. ; 24 cm.
Alternative Title: Trustworthy global computing : 3rd symposium, TGC 2007 : Sophia-Antipolis, France, November 5-6, 2007 : revised selected papers
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Computer security -- Congresses.
Computer networks -- Security measures -- Congresses.
Computer software -- Validation -- Congresses.
Computer software -- Verification -- Congresses.
LCC: QA76.9.A25
NDLC: M17
Note (General): Revised selected papers and abstracts.
"This volume contains (...) and tutorial papers of the following Workshop on the Interplay of Programming Languages and Cryptography, held in Sophia Antipolis, November 7, 2007." -- pref.
"The Symposium on Trustworthy Global Computing is an international annual venue (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-08-941
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009338850
http://id.ndl.go.jp/bib/000009338850
LC Control Number: 2008922366
https://lccn.loc.gov/2008922366
OCLC No.: 227193539
https://www.worldcat.org/oclc/227193539
Bibliographic Record Category (NDL): 215