Tools and algorithms for the construction and analysis of systems : Second International Workshop, TACAS '96, Passau, Germany, March 27 29, 1996 : proceedings

This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS '96, held in Passau, Germany in March 1996. The book presents 19 revised full papers selected from a total of 47 submissions together with...

Description complète

Détails bibliographiques

Collectivité auteur:	International conference on tools and algorithms for the construction and analysis of systems :Passau, Allemagne
Autres auteurs:	Margaria-Steffen, Tiziana, 1964- (Directeur de la publication), Steffen, Bernhard, 1956- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 1055
Sujets:	Génie logiciel Informatique Traitement réparti Systèmes, Conception de Réseaux d'ordinateurs Logiciels > Développement Actes de congrès
Accès en ligne:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Note:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Tools and algorithms for the construction and analysis of systems, second International Workshop, TACAS '96, Passau, Germany, March 1996, proceedings, Tiziana Margaria, Bernhard Steffen, (eds.), 1996, New York, Springer, 1 vol. (XI-434 p.), Lecture notes in computer science, 3-540-61042-1 • Tools and Algorithms for the Construction and Analysis of Systems, Texte imprimé, 9783662187029