A. Sernadas
2 published titles
Information systems : theoretical and formal aspects : proceedings of the IFIP WG 8.1 Working Conference on Theoretical and Formal Aspects of Information Systems, Sitges, Barcelona, Spain, 16-18 April
(Contributor)
1 edition
- ISBN: 0444877061
- North-Holland
- 1985
- Details
Foundations of logic and theory of computation
1 edition
- ISBN: 9781904987888
- College Publications
- 2008
- Details
