skip to main content
Idioma:

Formal methods for industrial applications specifying and programming the steam boiler control

Jean-Raymond Abrial; E Borger; Langmaack, H

Berlin Springer 1996

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1165 CD-ROM ) e outros locais(Acessar)

Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.