Record Nr.

UNISA990003086530203316

Autore

International conference on formal engineering methods, ICFEM 2007 : <9; : 2007; >

Titolo

Formal methods and software engineering : 9th International conference on formal engineering methods, ICFEM 2007 : Boca Raton, FL, USA, November 14-15, 2007 : Proceedings / Michael Butler, Michael G. Hinchey, Marìa M. Larrondo-Petrie (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2007

ISBN

978-3-540-76648-3

Descrizione fisica

X, 386 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 4789

Disciplina

004.01

Soggetti

Elaboratori elettronici - Programmazione - Congressi - Boca Raton - 2007

Collocazione

001 LNCS 4789

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia