Refine your search

  • Availability
  • Authors
  • Series
  • Topics
  • Languages
    • English [x]
  • Year of publication
    and

    No valid dates given. Allowed years between 1900 and .

Your search returned 3 results.

|
1.
Formal Methods for Open Object-Based Distributed Systems (vol. # 4037) [Recurso electrónico] / 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings edited by Roberto Gorrieri, Heike Wehrheim.

by Gorrieri, Roberto | Wehrheim, Heike | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2006Online access: Texto completo Availability: No items available

Log in to add tags Add to cart
2.
Foundations of Security Analysis and Design IV [Recurso electrónico] : FOSAD 2006/2007 Tutorial Lectures / edited by Alessandro Aldini, Roberto Gorrieri.

by Aldini, Alessandro | Gorrieri, Roberto | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007Online access: Texto completo Availability: No items available

Log in to add tags Add to cart
3.
Foundations of Security Analysis and Design III [Recurso electrónico] / FOSAD 2004/2005 Tutorial Lectures edited by Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli.

by Aldini, Alessandro | Gorrieri, Roberto | Martinelli, Fabio | SpringerLink (Online service).

Source: Springer e-booksMaterial type: Computer file Computer file; Format: electronic available online remote Publisher: Berlin Heidelberg : Springer-Verlag GmbH., 2005Online access: Texto completo Availability: No items available

Log in to add tags Add to cart

Powered by Koha