opac, catalogo, online,servizi, biblioteca, sebina

Formal methods for software architectures : Third international school on formal methods for the design of computer, communication and software systems: software architectures, SFM 2003 : Bertinoro, Italy, September 22-27, 2003 : advanced lectures

International school on Formal methods for the design of computer, communication and software systems <3. ; 2003 ; Bertinoro>

Springer Publishing Company - 2003

  • Lo trovi in
  • Scheda
  • Unimarc
USMJ8@Informatica

Documento disponibile

Richiesta di prestito

Inventario
140 16635
Collocazione
INF. CC4. 2804