Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985

Formal models in programming : proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985 / ed. by E. J. Neuhold and G. Chroust

Saved in:
Bibliographic Details
MitwirkendeR:
Working Conference on the Role of Abstract Models in Information Processing
Working Conference on the Role of Abstract Models in Information Processing 1985 Wien
HerausgeberIn:
Neuhold, Erich J. 1940-
Place / Publishing House:Amsterdam [u.a.] : North-Holland, 1985
Year of Publication:1985
Language:English
Subjects:
Programm (DE-588)4047394-6 Kongress Wien <1985>
Datenverarbeitung (DE-588)4011152-0 Kongress Wien <1985>
Programmierung (DE-588)4076370-5 Kongress Wien <1985>
Physical Description:XIX, 425 S.; Ill., graph. Darst.
Notes:Literaturangaben
Tags: Add Tag
No Tags, Be the first to tag this record!
id 990002234340504498
ctrlnum AC00234110
(AT-OBV)AC00234110
(Aleph)001936561ACC01
(DE-599)OBVAC00234110
(EXLNZ-43ACC_NETWORK)990019365610203331
collection bib_alma
institution YWOAW
building MAG1-3
record_format marc
spelling Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985 ed. by E. J. Neuhold and G. Chroust
Amsterdam [u.a.] North-Holland 1985
XIX, 425 S. Ill., graph. Darst.
Literaturangaben
Programm s (DE-588)4047394-6
Kongress f
Wien <1985> g
AT-OBV Automatisch aus BVB_2013-06 2013-02-28
Datenverarbeitung s (DE-588)4011152-0
Programmierung s (DE-588)4076370-5
Neuhold, Erich J. 1940- (DE-588)108423026 edt
Working Conference on the Role of Abstract Models in Information Processing 1985 Wien (DE-588)802470-4 ctb
YWOAW MAG1-3 20711-B 2217198230004498
language English
format Conference Proceeding
Book
author2 Neuhold, Erich J. 1940-
Working Conference on the Role of Abstract Models in Information Processing 1985 Wien
author_facet Neuhold, Erich J. 1940-
Working Conference on the Role of Abstract Models in Information Processing 1985 Wien
Working Conference on the Role of Abstract Models in Information Processing
author2_variant e j n ej ejn
author2_role HerausgeberIn
MitwirkendeR
author_corporate Working Conference on the Role of Abstract Models in Information Processing
author_corporate_role MitwirkendeR
title Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985
spellingShingle Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985
Programm (DE-588)4047394-6
Kongress
Wien <1985>
Datenverarbeitung (DE-588)4011152-0
Programmierung (DE-588)4076370-5
title_sub proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985
title_full Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985 ed. by E. J. Neuhold and G. Chroust
title_fullStr Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985 ed. by E. J. Neuhold and G. Chroust
title_full_unstemmed Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985 ed. by E. J. Neuhold and G. Chroust
title_auth Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985
title_new Formal models in programming
title_sort formal models in programming proceedings of the ifip tc2 working conference on the role of abstract models in information processing, vienna, austria, 30 january - 1 february, 1985
publisher North-Holland
publishDate 1985
physical XIX, 425 S. Ill., graph. Darst.
isbn 0444878882
callnumber-raw 20711-B
callnumber-search 20711-B
topic Programm (DE-588)4047394-6
Kongress
Wien <1985>
Datenverarbeitung (DE-588)4011152-0
Programmierung (DE-588)4076370-5
topic_facet Programm
Kongress
Wien <1985>
Datenverarbeitung
Programmierung
illustrated Illustrated
work_keys_str_mv AT neuholderichj formalmodelsinprogrammingproceedingsoftheifiptc2workingconferenceontheroleofabstractmodelsininformationprocessingviennaaustria30january1february1985
AT workingconferenceontheroleofabstractmodelsininformationprocessingwien formalmodelsinprogrammingproceedingsoftheifiptc2workingconferenceontheroleofabstractmodelsininformationprocessingviennaaustria30january1february1985
status_str n
ids_txt_mv (AT-OBV)AC00234110
AC00234110
(Aleph)001936561ACC01
(DE-599)OBVAC00234110
(EXLNZ-43ACC_NETWORK)990019365610203331
hol852bOwn_txt_mv YWOAW
hol852hSignatur_txt_mv 20711-B
hol852cSonderstandort_txt_mv MAG1-3
itmData_txt_mv 2011-06-17 02:00:00 Europe/Vienna
barcode_str_mv +YW1756840X
callnumbers_txt_mv 20711-B
inventoryNumbers_str_mv 20711-B
materialTypes_str_mv BOOK
permanentLibraries_str_mv YWOAW
permanentLocations_str_mv MAG1-3
inventoryDates_str_mv 19991230
createdDates_str_mv 2011-06-17 02:00:00 Europe/Vienna
holdingIds_str_mv 2217198230004498
is_hierarchy_id AC00234110
is_hierarchy_title Formal models in programming proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1805349711481143296
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01578nam#a2200409#c#4500</leader><controlfield tag="001">990002234340504498</controlfield><controlfield tag="005">20230531182521.0</controlfield><controlfield tag="007">tu</controlfield><controlfield tag="008">910412|1985####|||###########1||#|#eng#c</controlfield><controlfield tag="009">AC00234110</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444878882</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(AT-OBV)AC00234110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">AC00234110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Aleph)001936561ACC01</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)OBVAC00234110</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLNZ-43ACC_NETWORK)990019365610203331</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">TUW</subfield><subfield code="b">ger</subfield><subfield code="d">TUW</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1=" " ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="c">XA-NL</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 1985</subfield><subfield code="2">rvk</subfield><subfield code="9">O: Automatisch aus BVB_2013-06 2013-02-28</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Formal models in programming</subfield><subfield code="b">proceedings of the IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing, Vienna, Austria, 30 January - 1 February, 1985</subfield><subfield code="c">ed. by E. J. Neuhold and G. Chroust</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam [u.a.]</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1985</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 425 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programm</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4047394-6</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kongress</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Wien &lt;1985&gt;</subfield><subfield code="A">g</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-02-28</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4011152-0</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Kongress</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Wien &lt;1985&gt;</subfield><subfield code="A">g</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-02-28</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="D">s</subfield><subfield code="0">(DE-588)4076370-5</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Kongress</subfield><subfield code="A">f</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Wien &lt;1985&gt;</subfield><subfield code="A">g</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">AT-OBV</subfield><subfield code="5">Automatisch aus BVB_2013-06 2013-02-28</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Neuhold, Erich J.</subfield><subfield code="d">1940-</subfield><subfield code="0">(DE-588)108423026</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Working Conference on the Role of Abstract Models in Information Processing</subfield><subfield code="d">1985</subfield><subfield code="c">Wien</subfield><subfield code="0">(DE-588)802470-4</subfield><subfield code="4">ctb</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-07-23 07:03:02 Europe/Vienna</subfield><subfield code="d">20</subfield><subfield code="f">System</subfield><subfield code="c">marc21</subfield><subfield code="a">2018-12-24 08:25:12 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="HOL" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="h">20711-B</subfield><subfield code="c">MAG1-3</subfield><subfield code="8">2217198230004498</subfield></datafield><datafield tag="852" ind1="8" ind2=" "><subfield code="b">YWOAW</subfield><subfield code="c">MAG1-3</subfield><subfield code="h">20711-B</subfield><subfield code="8">2217198230004498</subfield></datafield><datafield tag="ITM" ind1=" " ind2=" "><subfield code="9">2217198230004498</subfield><subfield code="e">1</subfield><subfield code="m">BOOK</subfield><subfield code="b">+YW1756840X</subfield><subfield code="i">20711-B</subfield><subfield code="2">MAG1-3</subfield><subfield code="o">19991230</subfield><subfield code="8">2317198220004498</subfield><subfield code="f">02</subfield><subfield code="p">2011-06-17 02:00:00 Europe/Vienna</subfield><subfield code="h">20711-B</subfield><subfield code="1">YWOAW</subfield><subfield code="q">2022-06-08 18:41:30 Europe/Vienna</subfield></datafield></record></collection>

Similar Items