Record Nr.

UNISA990000310180203316

Autore

International conference MPC <5.; 2000 ; Ponte de Lima>

Titolo

Mathematics of program construction : 5th International conference, MPC 2000 : Ponte de Lima, Portugal, July 3-5, 2000 : proceeding / Roland Backhouse ...<et al.> (eds.)

Pubbl/distr/stampa


Berlino : Springer Verlag, c2000

ISBN

3-540-67727-5

Descrizione fisica

VII, 255 p. : ill. ; 20 cm

Collana

Lecture notes in computer science / 1837

Disciplina

005.1

Collocazione

001 LNCS (1837)

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia