Record Nr.

UNISA990003167270203316

Autore

International conference on formal engineering methods, ICFEM 2008 : <10.; : 2008; >

Titolo

Formal methods and software engineering : 10th International conference on formal engineering methods, ICFEM 2008 : Kitakyushu-City, Japan, October 27-31, 2008 : Proceedings / Shaoying Liu, Tom Maibaum, Keijiro Araki (Eds.)

Pubbl/distr/stampa


Berlin [etc.] : Springer, copyr. 2008

ISBN

978-3-540-88193-3

Descrizione fisica

XI, 396 p. : ill. ; 24 cm

Collana

Lecture notes in computer science ; 5256

Disciplina

004.01

Soggetti

Elaboratori elettronici - Programmazione - Congressi - Kitakyushu - 2008

Collocazione

001 LNCS 5256

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia