TY - BOOK AU - Giloi W K ED - IFIP WG 10.1 Working Conference on Methodologies for Computer System Design( 1983 : Lille ) ED - IFIP WG 10.1 Working Conference on Methodologies for Computer System Design TI - Methodologies for computer system design : proceedings U1 - 4.25 PY - 1983/// CY - Amsterdam PB - North Holland KW - Computer science KW - Computer systems ER -