Catalog

Record Details

Catalog Search



Trustworthy Global Computing [electronic resource] : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers / edited by Gilles Barthe, Cédric Fournet.

Barthe, Gilles. (editor.). Fournet, Cédric. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783540786634
  • Physical Description: online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
Subject: Computer science.
Computer Communication Networks.
Software engineering.
Data protection.
Logic design.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Techniques.
Systems and Data Security.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.

Additional Resources