Greetings, esteemed mathematicians and computing scientists:
As an admirer of Dr. Dijkstra’s work (and having studied “A Discipline of Programming”), I am interested in whether anyone has, and is willing to share, video recordings of his later courses on program design, such as the one introduced in EWD1157, or others from the late 80s and 90s. If not, I would also value class notes or handouts. Of course, any of the previous would be for personal use only – I will not distribute.
Thank you in advance for your reply,
Florin Vasiliu--
You received this message because you are subscribed the mathmeth.com mailing list.
To unsubscribe from this group, send email to Calculational-Math...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/Calculational-Mathematics?hl=en
---
You received this message because you are subscribed to the Google Groups "Calculational Mathematics" group.
To unsubscribe from this group and stop receiving emails from it, send an email to calculational-math...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
Thank you for your reply and help! Any further material on the particular topic of program design will be highly appreciated.
Regards,
Florin VasiliuOn 7 Nov 2018, at 18:20, Florin Vasiliu <florinv...@gmail.com> wrote:
Greetings, esteemed mathematicians and computing scientists:
As an admirer of Dr. Dijkstra’s work (and having studied “A Discipline of Programming”), I am interested in whether anyone has, and is willing to share, video recordings of his later courses on program design, such as the one introduced in EWD1157, or others from the late 80s and 90s. If not, I would also value class notes or handouts. Of course, any of the previous would be for personal use only – I will not distribute.
Thank you in advance for your reply,
Florin Vasiliu--
You received this message because you are subscribed the mathmeth.com mailing list.
To unsubscribe from this group, send email to Calculational-Mathematics-unsub...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/Calculational-Mathematics?hl=en
---
You received this message because you are subscribed to the Google Groups "Calculational Mathematics" group.
To unsubscribe from this group and stop receiving emails from it, send an email to calculational-mathematics+unsub...@googlegroups.com.
To unsubscribe from this group, send email to Calculational-Math...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/Calculational-Mathematics?hl=en
---
You received this message because you are subscribed to the Google Groups "Calculational Mathematics" group.
To unsubscribe from this group and stop receiving emails from it, send an email to calculational-math...@googlegroups.com.