dblp.uni-trier.de www.uni-trier.de

TFAIS 1985: Sitges, Spain

Amílcar Sernadas, Janis A. Bubenko Jr., Antoni Olivé (Eds.): Information Systems - Theoretical and Formal Aspects (TFAIS'85), Proceedings of the IFIP WG8.1 Working Conference, Sitges, Spain, 16-18 April 1985. Elsevier/North-Holland, 1985 ISBN 0-444-87706-1

Systems and Languages

Modeling Approaches I

Modeling Approaches II

Logical Frameworks

Modeling Approaches III

Copyright © Fri Mar 12 17:22:22 2010 by Michael Ley (ley@uni-trier.de)