Tools and Algorithms for the Construction and Analysis of Systems
Publication year: 2019
ISBN: 978-3-030-17502-3
Internet Resource: Please Login to download book
This is Part II: contiants Tools and Algorithms for the Construction and Analysis of Systems
Subject: 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
