Specification and design of software systems : Conference on operating systems, Visegrad, Hungary, January 23 27, 1982 : proceedings
Na minha lista:
| Autor Corporativo: | |
|---|---|
| Outros Autores: | , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado em: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| coleção: | Lecture notes in computer science
152 |
| Assuntos: | |
| 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: | • Specification and design of software systems, proceedings, Conference on operating systems, Visegrad, Hungary, January 23-27, 1982 ; ed, by E. Knuth and E.J. Neuhold, Berlin, Springer, 1983, 1 vol. (152 p.), Lecture notes in computer science, 3-540-12284-2 • Specification and Design of Software Systems, Texte imprimé, 9783662185803 |
Sumário:
- System cars and its description language
- Software structuring: A pragmatic approach
- Development methodologies for event and message based application systems
- Software development in LDM
- Distributed computer systems: Two views
- Sziam: A data model design aid
- Espreso A system for process control software specification
- Program design A practical approach
- On implementation problems of shared abstract data types.

