skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007
Material Type:
Libro
Añadir a Mi Portal

Formal methods for industrial critical systems 12th international workshop, FMICS 2007, Berlin Germany, July 1-2, 2007

International Workshop on Formal Methods for Industrial Critical Systems (12th 2007 Berlin, Germany) Stefan Leue; Pedro Merino

Berlin Springer London 2008

Disponible en ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.4916 ) y otras localizaciones(Obténgalo)

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Buscando en bases de datos remotas, por favor espere

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