Record Nr.

UNISA990002415440203316

Autore

International conference on formal engineering methods, ICFEM 2004 : <6. ; : 2004

Titolo

Formal methods and software engineering : 6th International Conference on Formal Engineering Methods,ICFEM 2004 : Seattle,WA,USA, November 8-12, 2004 : proceedings / Jim Davies, Wolfram Schulte, Mike Barnett (Eds.)

Pubbl/distr/stampa


Berlin : Springer, copyr.2004

ISBN

3-540-23841-7

Descrizione fisica

XIII,500 p. : ill. ; 20 cm

Collana

Lecture notes in computer science ; 3308

Disciplina

004.01

Soggetti

Elaboratori elettronici - Programmazione - Congressi - 2004

Collocazione

001 LNCS/3308

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia