Tools and Algorithms for the Construction and Analysis of Systems, 2014 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Theoretical Computer Science and General Issues Series
Coordonnateurs : Abraham Erika, Havelund Klaus
Date de parution : 03-2014
Ouvrage de 652 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 52,74 €
Ajouter au panierThèmes de Tools and Algorithms for the Construction and Analysis... :
Mots-clés :
algorithms; automata theory; complexity; decision procedures; dynamic analysis; formal methods; hardware verification; hybrid models; logic; model checking; models of computation; probabilistic systems; program specifications; programming languages; realtime; software engineering; softwrae verification; static analysis; theorem proving; timed models