Rajaa
Hakutulokset: 9783642133206
Rajaa
yksi hakutulos.
Mathematics of Program Construction
nidottu,
2010,
englanti,
ISBN 9783642133206
This volumecontainsthe proceedingsof MPC2010,the 10th InternationalC- ferenceonthe MathematicsofProgramConstruction.ThebiennialMPCconf- …