Software Engineering and Formal Methods, 1st ed. 2017 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Cimatti Alessandro, Sirjani Marjan
Includes supplementary material: sn.pub/extras
Date de parution : 08-2017
Ouvrage de 410 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThème de Software Engineering and Formal Methods :
Mots-clés :
artificial intelligence; computer software selection and evaluation; data security; distributed computer systems; formal methods; formal specification; hardware; model checker; model checking; problem solving; program compilers; programming languages; satisfiability; security systems; semantics; software engineering; specifications; temporal logic; theorem proving; verification