Home Book reviews Contact

Alessandro Fantechi
1. Formal Methods for Industrial Critical Systems: 13th International Workshop, Fmics 2008, L'aquila, Italy, September 15-16, 2008, Revised Selected Papers
Editor: Darren Cofer - Editor: Alessandro Fantechi
ISBN: 3642032397
ISBN13: 9783642032394
Binding: Paperback
List Price: $64.95
Publisher: Springer-Verlag New York Inc
Published Date: 08/01/2009
2. 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
Editor: Roberto Gorrieri - Editor: Paolo Ciancarini - Editor: Alessandro Fantechi
ISBN: 0792384296
ISBN13: 9780792384298
Binding: Hardcover
List Price: $262.0
Publisher: Kluwer Academic Pub
Published Date: 01/01/1999