Verwandte Artikel zu Information Systems: Theoretical and Formal Aspects...

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

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

Inhaltsangabe

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.

Reseña del editor

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.

Gebraucht kaufen

Zustand: Befriedigend
*Price HAS BEEN REDUCED by 10%...
Diesen Artikel anzeigen

EUR 3,84 für den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

Suchergebnisse für Information Systems: Theoretical and Formal Aspects...

Beispielbild für diese ISBN

A. Sernadas, J. Bubenko, Jr. & A. Olive
Verlag: North-Holland, 1985
ISBN 10: 0444877061 ISBN 13: 9780444877062
Gebraucht Hardcover

Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Gebraucht kaufen

EUR 6,83
Währung umrechnen
Versand: EUR 3,84
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Sernadas, A.; Bubenko, J; Olive, A. (eds.)
ISBN 10: 0444877061 ISBN 13: 9780444877062
Gebraucht Hardcover Erstausgabe

Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Gebraucht kaufen

EUR 17,11
Währung umrechnen
Versand: EUR 10,88
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Elsevier Science Ltd
ISBN 10: 0444877061 ISBN 13: 9780444877062
Gebraucht Hardcover

Anbieter: medimops, Berlin, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Gebraucht kaufen

EUR 3,75
Währung umrechnen
Versand: EUR 45,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb