Your search returned 2 results.

Sort
Results
Leveraging Applications of Formal Methods, Verification and Validation [Recurso electrónico] : Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings / edited by Tiziana Margaria, Bernhard Steffen.

by Margaria, Tiziana | Steffen, Bernhard | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 17Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Availability: No items available.

Advances in Software Engineering [Recurso electrónico] : International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings / edited by Dominik Å{uC119}zak, Tai-hoon Kim, Akingbehin Kiumi, Tao Jiang, June Verner, Silvia Abrahão.

by Å{uC119}zak, Dominik | Kim, Tai-hoon | Kiumi, Akingbehin | Jiang, Tao | Verner, June | Abrahão, Silvia | SpringerLink (Online service).

Series: Communications in Computer and Information Science, 1865-0929 ; ; 59Material type: Computer file Computer file; Format: electronic Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009Availability: No items available.

Pages

Powered by Koha