skip to main content
Primo Search
Search in: Búsqueda General

Formal methods for components and objects third international symposium, FMCO 2004, Leiden, the Netherlands November 2-5, 2004 : revised lectures

FMCO 2004 (2004 Leiden, Netherlands) Marcello M Bonsangue; Susanne Graf; Willem-Paul de Roever; Frank S. de Boer

Berlin Springer New York c2005

Acceso en línea. La biblioteca tiene también copias físicas.

Ampliar ICMC - Inst. Ciên. Mat. Computação localizaciones ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v,3657 ) Disponible
Ampliar IME - Inst. Matemática e Estatística localizaciones IME - Inst. Matemática e Estatística (S L471c v.3657 ) Disponible

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora