Software Engineering and Formal Methods, 1st ed. 2019 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Ölveczky Peter Csaba, Salaün Gwen
Date de parution : 09-2019
Ouvrage de 550 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Software Engineering and Formal Methods :
Mots-clés :
artificial intelligence; computer operating systems; cyber physical systems (cpss); embedded systems; formal logic; formal methods; formal verifications; graph theory; model checking; ontologies; problem solving; programming languages; robotics; robots; semantics; software engineering; software evaluation; specifications; theorem proving; verification