Sign in to confirm you’re not a bot
This helps protect our community. Learn more

Commenting and coding 200701

Carroll Morgan
4 subscribers
<__slot-el>
<__slot-el>
570 views 4 years ago
This video introduces assertions, and assertional reasoning, as an "in-" formal method that uses "What's True Here" comments to help to develop programs reliably. ...more
...more
Commenting and coding 200701
16Likes
570Views
2020Jun 30
This video introduces assertions, and assertional reasoning, as an "in-" formal method that uses "What's True Here" comments to help to develop programs reliably.

Follow along using the transcript.

Carroll Morgan

4 subscribers