Decision Procedures: An Algorithmic Point of View (Texts in Theoretical Computer Science. An EATCS Series) : Kroening, Daniel, Strichman, Ofer, Bryant, R.E.: Amazon.de: Bücher
Using Procedures - Intro to Computer Science - YouTube
HW7 - Procedures, Parameters, Algebraic Expressions - MT513 - Computer Science Principles for High School Teachers
What is a Procedure?
What are procedures and functions? | TheSchoolRun
Procedures and functions practical for GCSE Computer Science using Python | Teaching Resources
6c – Function Procedures Lingma Acheson Department of Computer and Information Science, IUPUI CSCI N331 VB.NET Programming. - ppt download