Algebraic methodology and software technology : 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000 : proceedings

The AMAST movement was initiated in 1989 with the First International C- ference on Algebraic Methodology and Software Technology (AMAST), held on May 21{23in Iowa City, Iowa,and aimed at setting the development of software technology on a mathematical basis. The virtue of the software technology en...

ver descrição completa

Detalhes bibliográficos

Autor Corporativo:	International Conference on Algebraic Methodology and Software Technology :Iowa City, Iowa
Outros Autores:	Rus, Teodor (Directeur de la publication)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Colecção:	Lecture notes in computer science 1816
Assuntos:	Génie logiciel Informatique Ordinateurs Types abstraits de données (informatique) Logique symbolique et mathématique Actes de congrès
Acesso em linha:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Algebraic methodology and software technology, 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, proceedings, Teodor Rus (ed.), 2000, New York, Springer, 1 vol. (XI-544 p.), Lecture notes in computer science, 3-540-67530-2 • Algebraic Methodology and Software Technology, Texte imprimé, 9783662214398