Integrated Formal Methods, 1st ed. 2017 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings Programming and Software Engineering Series
Coordonnateurs : Polikarpova Nadia, Schneider Steve
Date de parution : 08-2017
Ouvrage de 438 p.
15.5x23.5 cm
Thèmes d’Integrated Formal Methods :
Mots-clés :
artificial intelligence; computer software selection and evaluation; data security; formal logic; formal methods; formal verifications; java; model checking; network security; problem solving; program compilers; programming languages; robotics; robots; satisfiability; semantics; software engineering; specifications; theorem proving; verification