Publisher's Synopsis
The book studies the current state and reform of computer teaching, software engineering, software technology teaching, teaching of big data and computer, and the overview of formal methods, in order to provide theoretical references and guidance for peers.