FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings

FM 99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20 24, 1999 : proceedings volume II

Formal methods are coming of age. Mathematical techniques and tools are now regarded as an important part of the development process in a wide range of industrial and governmental organisations. A transfer of technology into the mainstream of systems development is slowly, but surely, taking place....

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor Corporativo: World Congress on Formal Methods in the Development of Computing Systems :Toulouse
Otros Autores: Wing, Jeannette Marie, 1956- (Director de publicación), Woodcock, Jim, 1956- (Director de publicación), Davies, Jim, 1964- (Director de publicación)
Formato: Livre numérique
Lenguaje:Anglais
Publicado: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Colección:Lecture notes in computer science 1709
Materias:
Génie logiciel
Informatique
Langages de programmation
Systèmes, Conception de
Logiciels > Développement
Progiciels > Développement
Actes de congrès
Acceso en línea: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:• FM'99 - Formal Methods, Texte imprimé, 9783540665885
• FM'99 - Formal Methods, Texte imprimé, 9783662170885

Ejemplares similares

Ejemplares similares