Catalog

Record Details

Catalog Search


Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.

Aldini, Alessandro. (editor.). Gorrieri, Roberto. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Record details

  • ISBN: 9783540748106
  • Physical Description: VII, 325 p. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Search for related items by subject

Subject: Computer science.
Computer Communication Networks.
Operating systems (Computers).
Data encryption (Computer science).
Logic design.
Information Systems.
Computer Science.
Operating Systems.
Data Encryption.
Computer Communication Networks.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.

Search for related items by series


Additional Resources