Publication year: 2019
: 978-3-030-17502-3
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
: Computer Science, Logics and Meanings of Programs, Software Engineering, Programming and Operating Systems, artificial intelligence, competition, formal logic, formal methods, java, model checking, programming languages, semantics, software engineering, software evaluation, theory of computation, verification, Mathematical Logic and Formal Languages, The Computing Profession, Simulation and Modeling, System Performance and Evaluation