Exemplaires: Recent trends in algebraic development techniques :

Enregistré dans:

Détails bibliographiques
Collectivité auteur:	Workshop on Algebraic Development Techniques :Frauenchiemsee, Germany
Autres auteurs:	Wirsing, Martin, 1948- (Directeur de la publication), Pattinson, Dirk, 1970- (Directeur de la publication), Hennicker, Rolf, 1952- (Directeur de la publication)
Format:	Livre numérique
Langue:	Anglais
Publié:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Collection:	Lecture notes in computer science 2755
Sujets:	Génie logiciel Informatique Types abstraits de données (informatique) Logique symbolique et mathématique Informatique > Mathématiques 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:	• Recent trends in algebraic development techniques, 16th international workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, revised selected papers, Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.), Berlin, Springer, 2003, 1 vol. (VIII-456 p.), Lecture notes in computer science, 3-540-20537-3 • Recent Trends in Algebraic Development Techniques, Texte imprimé, 9783662206195