Formal models in programming /
57
| Hoofdauteurs: | , , |
|---|---|
| Formaat: | |
| Gepubliceerd in: |
Amsterdam : Elsevier,
1985
|
| Onderwerpen: |
| _version_ | 1826376880389881856 |
|---|---|
| author | IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria) Neuhold, Erich J. Chroust, G. |
| author_facet | IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria) Neuhold, Erich J. Chroust, G. |
| author_sort | IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria) |
| collection | OCEAN |
| description | 57 |
| first_indexed | 2024-03-04T17:53:06Z |
| format | |
| id | KOHA-OAI-TEST:108209 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T17:53:06Z |
| publishDate | 1985 |
| publisher | Amsterdam : Elsevier, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:1082092020-12-19T17:01:47ZFormal models in programming / IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria) Neuhold, Erich J. Chroust, G. Amsterdam : Elsevier,1985575859PSZKLLElectronic digital computersURN:ISBN:0444878882 |
| spellingShingle | Electronic digital computers IFIP TC2 Working Conference On The Role of Abstract Models In Information Processing (1985 : Vienna, Austria) Neuhold, Erich J. Chroust, G. Formal models in programming / |
| title | Formal models in programming / |
| title_full | Formal models in programming / |
| title_fullStr | Formal models in programming / |
| title_full_unstemmed | Formal models in programming / |
| title_short | Formal models in programming / |
| title_sort | formal models in programming |
| topic | Electronic digital computers |
| work_keys_str_mv | AT ifiptc2workingconferenceontheroleofabstractmodelsininformationprocessing1985viennaaustria formalmodelsinprogramming AT neuholderichj formalmodelsinprogramming AT chroustg formalmodelsinprogramming |