1.
Record Nr.
UNISA990002965310203316
Autore
International conference on formal engineering methods, ICFEM 2005 : <7. ; : 2005
Titolo
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005 / Kung-Kiu Lau, Richard Banach(Eds.) : Manchester, UK, November 1-4, 2005 : proceedings
Pubbl/distr/stampa
Berlin : Springer, copyr. 2006
ISBN
3-540-29797-9
Descrizione fisica
XIV, 494 p. : ill. ; 20 cm
Collana
Lecture notes in computer science ; 3785
Disciplina
004.01
Soggetti
Elaboratori elettronici -- Programmazione -- Manchester -- 2005 -- Congressi
Collocazione
001 LNCS 3785
Lingua di pubblicazione
Inglese
Formato
Materiale a stampa
Livello bibliografico
Monografia