مؤلف: Lambert Meerkens

الدعم

1 كتب إلكترونية بواسطة Lambert Meerkens

Richard Bird & Lambert Meerkens: Algorithimic Languages and Calculi
The general theme of this conference is notations, methods, and tool support for the calculation of programs from specifications. The purpose of this working conference is to present the results of o …
PDF
الإنجليزية
DRM
€229.86