1.
 |  | Title: Formal Methods for Open Object-Based Distributed Systems: Ifip Tc6/Wg6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (Fmoods) : February 15-18, 1999, Florence (International Federation for Information Processing)
by Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri
ISBN: 0792384296
Publisher: Kluwer Academic Publishers
Pub. Date: 01 January, 1999
List Price: $228.00
Amazon.com Price: $228.00 |
2.
|  | Title: Foundations of Security Analysis and Design: Tutorial Lectures (LECTURE NOTES IN COMPUTER SCIENCE)
by Riccardo Focardi, Roberto Gorrieri, International School on Foundations of Security Analysis and Design
ISBN: 3540428968
Publisher: Springer-Verlag Telos
Pub. Date: 01 December, 2001
List Price: $64.95
Amazon.com Price: $64.95 |
3.
|  | Title: Foundations of Security Analysis and Design II
by Riccardo Focardi, Roberto Gorrieri, International School on Foundations of Security Analysis and Design
ISBN: 3540209557
Publisher: Springer Verlag
Pub. Date: 02 March, 2004
List Price: $59.00
Amazon.com Price: $59.00 |
