skip to main content

Idioma:

Vdm and z - formal methods in software development proceedings

Vdm-Europe Symposium, 3., Kiel, 1990 Dines Bjorner

Berlin Springer 1990

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.428 ) e outros locais(Acessar)

Enviar para

Título:
Vdm and z - formal methods in software development proceedings
Autor: Vdm-Europe Symposium, 3., Kiel, 1990
Dines Bjorner
Assuntos: ENGENHARIA DE SOFTWARE
Notas Locais: Hoare, c a r ; ed. Langmaack, h ; ed
Editor: Berlin Springer
Data de criação/publicação: 1990
Formato: 579 p.
Idioma: Inglês

Links

Este item no Dedalus

Voltar para lista de resultados

Ir para página anterior

Anterior Resultado 5 Avançar Ir para próxima página

Ir para próxima página

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO),scope:(USP_EBOOKS),scope:("PRIMO"),scope:(USP),scope:(USP_EREVISTAS),scope:(USP_FISICO),primo_central_multiple_fe
Mostrar o que foi encontrado até o momento