| Titre : | Information systems : theoritical and formal aspects | | Titre original : | proceedings of the IFIP WG 8.1 working conference onheoretical and formal aspects of information systems sitges, Barcelona, Spain, 16-18 april 1985 | | Type de document : | texte imprimé | | Auteurs : | Sernadas, A. Ed. ; Olivé, A. Eds ; Bubenko, J. | | Editeur : | North-Holland | | Année de publication : | 1985 | | Importance : | x - 236 p. | | ISBN/ISSN/EAN : | 978-0-444-87706-2 | | Langues : | Anglais | | Catégories : | 68-XX Computer science :68NXX Software:68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
68-XX Computer science :68QXX Theory of computing:68Q60 Specification and verification (program logics, model checking, etc.)
68-XX Computer science :68QXX Theory of computing:68Q65 Abstract data types; algebraic specification
| | Mots-clés : | barcelona (spain) proceedings database theory information systems computer science | | Index. décimale : | 68B Publication collective |
Information systems = proceedings of the IFIP WG 8.1 working conference onheoretical and formal aspects of information systems sitges, Barcelona, Spain, 16-18 april 1985 : theoritical and formal aspects [texte imprimé] / Sernadas, A. Ed. ; Olivé, A. Eds ; Bubenko, J. . - [S.l.] : North-Holland, 1985 . - x - 236 p. ISBN : 978-0-444-87706-2 Langues : Anglais |
Affiner la rechercheInformation systems / Sernadas, A. Ed.
