Mathematics of program construction
5th international conference, MPC 2000, Ponte de Lima, Portugal, July 3-5, 2000 : proceedings
Gespeichert in:
Verfasser / Beitragende:
Roland Backhouse, José Nuno Oliveira, (eds.)
Ort, Verlag, Jahr:
Berlin [etc.] :
Springer,
2000
Beschreibung:
VII, 255 p. : ill. ; 24 cm
Format:
Buch (Kongress)