FME '94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 28, 1994 : proceedings

This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports desc...

ver descrição completa

Detalhes bibliográficos

Autor Corporativo:	International Symposium of Formal Methods Europe :Barcelone
Outros Autores:	Denvir, Tim, 1939- (Diretor de publicação), Naftalin, Maurice, 1951- (Diretor de publicação), Bertran, Miquel, 19..- (Diretor de publicação)
Formato:	Livre numérique
Idioma:	Anglais
Publicado em:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
coleção:	Lecture notes in computer science 873
Assuntos:	Génie logiciel Informatique Langages de programmation Ordinateurs Logiciels > Développement 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:	• FME '94, industrial benefit of formal methods, Second International Symposium of Formal Methods Europe , Barcelona, Spain, October 24-28, 1994, proceedings, Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.), Berlin, Springer-Verlag, 1994, 1 vol. (XI-723 p.), Lecture notes in computer science, 0-387-58555-9 • FME '94: Industrial Benefit of Formal Methods, Texte imprimé, 9783662200650