Integration of software specification techniques for applications in engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : final report
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Autres auteurs: | , |
| Format: | Livre numérique |
| Langue: | Anglais |
| Publié: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Collection: | Lecture notes in computer science
3147 |
| Sujets: | |
| 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: |
la préface indique "it contains new contributions of international experts in this research area, some of which were presented at the third international workshop INT 2004 on Integration of Specification Techniques for Applications in Engineering Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Integration of software specification techniques for applications in engineering, Priority Program SoftSpez of the German Research Foundation (DFG), final report, Hartmut Ehrig, Werner Damm, Jörg Desel... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (X-628 p.), Lecture notes in computer science, 3-540-23135-8 • Integration of Software Specification Techniques for Applications in Engineering, Texte imprimé, 9783662169025 |