skip to main content
Idioma:

Verification of object-oriented software the KeY approach

Bernhard Beckert; Reiner H ahnle; P. H Schmitt (Peter H.) 1948

Berlin Springer New York c2007

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

Ampliar ICMC - Inst. Ciên. Mat. Computação localizaciones ICMC - Inst. Ciên. Mat. Computação (68-02 LNAI v.4334 ) Disponible
Ampliar IME - Inst. Matemática e Estatística localizaciones IME - Inst. Matemática e Estatística (S L471a v.4334 ) Disponible
Volver a la lista de resultados
Ir a la página anteriorAnterior Resultado  15 SiguienteIr a la siguiente página

  • Realización: ABCD-USP USP   Logos de Redes Sociales: Freepik

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