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

Afficher les exemplaires de cette �dition comportant l'ISBN

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

R�sultats de recherche pour Information Systems: Theoretical and Formal Aspects...

Image d'archives

Information systems: Theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of . Sitges, Barcelona, Spain, 16-18 April 1985

Sernadas, A.; Bubenko, J; Olive, A. (eds.)

Edit� par Elsevier Science Publishers B. V., 1985

ISBN 10 : 0444877061 ISBN 13 : 9780444877062

Ancien ou d'occasion Couverture rigide

Vendeur : -OnTimeBooks-, Phoenix, AZ, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. N� de r�f. du vendeur OTV.0444877061.G

Contacter le vendeur

Acheter D'occasion

EUR 26,90

Livraison gratuite
Exp�dition nationale�: Etats-Unis

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Image d'archives