Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Libro
|
![]() |
Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lecturesFMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de BoerBerlin Springer New York c2005Acceso en línea. La biblioteca tiene también copias físicas. |
2 |
![]() ![]() ![]() Material Type: Libro
|
![]() |
Formal methods and software engineering 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedingsInternational Conference on Formal Engineering Methods (6th 2004 Seattle, Wash.) Jim Davies 1964; Wolfram Schulte; Mike Barnett 1957Berlin Springer New York c2004Acceso en línea. La biblioteca tiene también copias físicas. |
3 |
Material Type: Libro
|
![]() |
Formal methods for mobile computing 5th International School on Formal Methods for the Design of Computer Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy April 26-30, 2005 : advanced lecturesInternational School on Formal Methods for the Design of Computer Communication, and Software Systems (5th 2005 Bertinoro, Italy) Marco Bernardo; Alessandro BoglioloBerlin Springer New York 2005Acceso en línea. La biblioteca tiene también copias físicas. |