Information Systems: Theoretical and Formal Aspects - I.F.I.P.Working Conference Proceedings - Couverture rigide

 
9780444877062: Information Systems: Theoretical and Formal Aspects - I.F.I.P.Working Conference Proceedings
Couverture rigide
ISBN 10 : 0444877061 ISBN 13 : 9780444877062
Editeur : Elsevier Science Ltd, 1985

Synopsis

This book contains papers on the theoretical and formal aspects of information systems. The fifteen papers address two main problems in the area: consolidation of the underlying concepts and identification of suitable formal tools for information system development. Several new modeling abstraction mechanisms and languages are presented and discussed, as well as logical formalisms for correctness analysis of specifications.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Elsevier Science Ltd
Date d'édition
1985
Langue
anglais
ISBN 10 
0444877061
ISBN 13 
9780444877062
Reliure
Relié
Numéro d'édition
1
Nombre de pages
246
Éditeur
Sernadas A., Bubenko J., Olive A.
Coordonnées du fabricant
non disponible
Personne responsable
non disponible