Formal models and practical tools for information systems design : proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 /

Zapisane w:
Opis bibliograficzny
organizacja autorów: IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design Oxford, England, International Federation for Information Processing. Committee on Information Systems
Kolejni autorzy: Schneider, Hans-Jochen
Format: Materiały konferencyjne Książka
Język:English
Wydane: Amsterdam ; New York : New York : North-Holland Pub. Co. ; sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1979.
Hasła przedmiotowe:
LEADER 01685nam a2200301 i 4500
001 c000044481
003 CARM
005 00000000000000.0
008 790816s1979 ne a b 10010 eng
019 1 |a 1491101  |5 LACONCORD2021 
020 |a 0444853944 
035 |a (OCoLC)5333736  |5 LACONCORD2021 
050 0 0 |a Z699.A1  |b I16 1979 
111 2 0 |a IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design  |d (1979 :  |c Oxford, England) 
245 1 0 |a Formal models and practical tools for information systems design :  |b proceedings of the IFIP TC-8 Working Conference on Formal Models and Practical Tools for Information Systems Design, Oxford, U.K., April 17-20, 1979 /  |c edited by Hans-Jochen Schneider. 
260 |a Amsterdam ;  |a New York :  |b North-Holland Pub. Co. ;  |a New York :  |b sole distributors for the U.S.A. and Canada, Elsevier North-Holland,  |c 1979. 
300 |a ix, 297 p. :  |b ill. ;  |c 23 cm. 
500 |a "Organized by IFIP Technical Committee 8, Information Systems, International Federation for Information Prcessing." 
504 |a Includes bibliographies. 
650 0 |a Information storage and retrieval systems  |x Congresses. 
650 0 |a Formal languages  |x Congresses. 
650 0 |a Electronic digital computers  |x Programming  |x Congresses. 
700 1 |a Schneider, Hans-Jochen. 
710 2 0 |a International Federation for Information Processing.  |b Committee on Information Systems. 
852 8 |b CARM  |h A2:AD15F0  |i C02662  |p 0094880  |f BK 
082 0 4 |a 029 
999 f f |i d3102505-0018-5dab-8071-ca1bfbcbb968  |s 8aeb504f-a4f8-5b3b-bba3-ce19fe1c30a0 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e C02662  |f A2:AD15F0  |h Other scheme  |i book  |m 0094880