1.

Record Nr.

UNISA990003407850203316

Autore

International conference on formal engineering methods, ICFEM 2009 : <11.;  : 2009

Titolo

Formal methods and software engineering : 11th international conference on formal engineering methods, ICFEM 2009 : Rio de Janeiro, brazil, december 9-12, 2009 : proceedings / Karin Breitman, Ana Cavalcanti (Eds.)

Pubbl/distr/stampa

Berlin [etc.] : Springer, copyr. 2009

ISBN

978-3-642-10372-8

Descrizione fisica

XIV, 758 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 5885

Disciplina

004.01

Soggetti

Elaboratori -- Programmazione -- Atti di congressi

Programmi per elaboratori -- Progettazione -- Atti di congressi

Collocazione

001 LNCS/5885

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia