Abstract | Keywords | Export | Availability | Bookmark

Choose an application

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

Computer science --- Mathematical logic --- Electronic digital computers --- Debugging in computer science --- Programmation des ordinateurs --- Débogage --- Programming --- Programmation (mathématiques) --- Ordinateurs --- Informatique --- Calculs numériques --- Programmation --- Mathématiques --- Computer programming --- #TCPW:boek --- 681.3*F11 --- 681.3*F41 --- Computer programs --- Troubleshooting in computer science --- Data editing --- Electronic data processing --- Computers --- Electronic computer programming --- Programming (Electronic computers) --- Coding theory --- Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Debugging --- Testing --- Computer programming. --- Debugging in computer science. --- 681.3*F11 Models of computation: automata; bounded action devices; computability theory; relations among models; self-modifying machines; unbounded-action devices--See also {681.3*F41} --- 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} --- Débogage --- Software failures --- Débogage. --- Calculs numériques. --- Programmation. --- Mathématiques. --- Turing machines --- Turing, Machines de --- Logiciels --- Verification --- Vérification --- Programmation (mathématiques) --- Calculs numériques --- Computer science. --- Turing machines. --- Logique mathématique --- Mathématiques --- Vérification. --- Electronic digital computers - Programming --- Logique mathematique --- Automates abstraits --- Logique des prédicats --- Calculabilite --- Automates finis