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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 3,84 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerAnbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Sept. 29 (weekend ale item)* 236 pp., hardcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Artikel-Nr. ZB392609
Anzahl: 1 verfügbar
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Hardcover. Zustand: Very Good. Zustand des Schutzumschlags: No Dust Jacket. First Edition. Proceedings of the IFIP WG 8.1 Working Conference on Theretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April, 1985. Hardcover with lightly bumped head of spine. Book-plate on inside front cover. Pages are lightly tanned.Text remains clear, and pages are tight throughout. Printed boards. No dust jacket. T. Used. Artikel-Nr. 277015
Anzahl: 1 verfügbar
Anbieter: medimops, Berlin, Deutschland
Zustand: good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. Artikel-Nr. M00444877061-G
Anzahl: 1 verfügbar