Abstract | Keywords | Export | Availability | Bookmark

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Electronic digital computers --- Recursive programming --- Computer programs --- Programmation des ordinateurs --- Programmation récursive --- Logiciels --- Programming --- Computer programming. --- Recursive programming. --- Computer programs. --- Programmation (Informatique) --- Programmation récursive. --- Logiciels. --- probleme decision. --- correction programme. --- schema recursion. --- schema programme. --- programmation structuree. --- programmation recursive. --- Programmation (Informatique). --- Probleme decision. --- Correction programme. --- Schema recursion. --- Schema programme. --- Programmation structuree. --- Programmation recursive. --- Programmation récursive --- #TCPW P3.0 --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F0 --- 681.3*F31 --- Computerwetenschap--?*F0 --- Software engineering. --- Logic design. --- Software Engineering. --- Logics and Meanings of Programs. --- Design, Logic --- Design of logic systems --- Digital electronics --- Electronic circuit design --- Logic circuits --- Machine theory --- Switching theory --- Computer software engineering --- Engineering --- Langages de programmation --- Logique