Programmiersprachen und Grundlagen der Programmierung: Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | German English |
| Veröffentlicht: |
Neubiberg
Univ. der Bundeswehr München, Fak. für Informatik
1993
|
| Schriftenreihe: | Bericht / Universität der Bundeswehr München, Fakultät für Informatik
1993,9 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Beitr. teilw. dt., teilw. engl. - Literaturangaben |
| Beschreibung: | VII, 270 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009564492 | ||
| 003 | DE-604 | ||
| 005 | 20120710 | ||
| 007 | t | ||
| 008 | 940425s1993 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 940831481 |2 DE-101 | |
| 035 | |a (OCoLC)75420991 | ||
| 035 | |a (DE-599)BVBBV009564492 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a ger |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-12 |a DE-29T |a DE-91 |a DE-83 |a DE-706 | ||
| 084 | |a DAT 350f |2 stub | ||
| 084 | |a DAT 300f |2 stub | ||
| 245 | 1 | 0 | |a Programmiersprachen und Grundlagen der Programmierung |b Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 |c hrsg. von Rudolf Berghammer... |
| 264 | 1 | |a Neubiberg |b Univ. der Bundeswehr München, Fak. für Informatik |c 1993 | |
| 300 | |a VII, 270 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Bericht / Universität der Bundeswehr München, Fakultät für Informatik |v 1993,9 | |
| 500 | |a Beitr. teilw. dt., teilw. engl. - Literaturangaben | ||
| 650 | 0 | 7 | |a Programmiersprache |0 (DE-588)4047409-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmierung |0 (DE-588)4076370-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1993 |z Garmisch-Partenkirchen |2 gnd-content | |
| 689 | 0 | 0 | |a Programmierung |0 (DE-588)4076370-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Programmiersprache |0 (DE-588)4047409-4 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Berghammer, Rudolf |d 1952- |e Sonstige |0 (DE-588)139235965 |4 oth | |
| 810 | 2 | |a Universität der Bundeswehr München, Fakultät für Informatik |t Bericht |v 1993,9 |w (DE-604)BV006642330 |9 1993,9 | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320405&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006320405 | ||
Datensatz im Suchindex
| _version_ | 1804123906961833984 |
|---|---|
| adam_text | Inhaltsverzeichnis
Entwicklung und Verifikation
I
An
Algebraic Approach to Streams
*
Bernhard Möller
Proving the Correctness of the Static Link Technique Using Evolving Algebras
15
Markus Mohnen
Zur
Integration
von semiformalen und formalen Methoden im
Requirements Engineering:
Ein Beispiel aus der KORSO Fallstudie HDMS-A 29
Friederike Nicki, Martin Wirsing
Implementierung von Datenstrukturen
Parallele Implementierung von
Bags
31
Katia Gladitz
Calculating
a
Module
for Binary Search Trees
35
Walter Dosch,
Bernhard Möller
Maschinenmodelle
und Implementierungen
Eigenschaften der Mutual
Object Machine (MOM)
51
Dietmar Lammers
Abstrakte C-Maschinen: Ein Weg zur formalen Beschreibung der Übersetzung
von hohen Programmiersprachen nach
С
61
Ulrich Hoffmann
Typisierung und Termersetzung
Typinferenz in
Common LISP
82
Heinz Knut
zen
A Solution to Zantema s Problem
88
Alfons Geser
Entwicklung und Verifikation
II
Calculating Maximal Independent Sets
97
Martin Russling
Auflösung struktureller Rekursion
versus
effiziente
Display-
Technik 106
Johannes-Bernhard Hundehege
Systeme
RALF - Ein Formelmanipulationssystem und Beweisprüfer
für die Relationenalgebra 117
Claudia Hattensperger, Rudolf Berghammer
Spezifikation
Modulare Statecharts 124
Andreas Claßen
A Universally Polymorphic Specification Language
A Brief Informal Introduction
140
Dieter Nazareth
Beobachtungen zur algebraischen Spezifikationsniethode 156
Ramses A. Heckler
IV
Semantik
I
On the First-Order Equivalence of Call-by-Name and Call-by-Value
175
Thomas Noll
On Programming Languages with Infinite Output:
An Exercise in Denotational Semantics
187
Rudolf
Berghammer,
Peter Kemp
f
Hardware
und neuronale Netze
A System for Compositional Hardware Verification
203
Tiziana
Margaría,
Bernhard Steffen
Technology Dependency in Functional Specifications of
Digital Hardware
217
Max
Fuchs
Fuzzy Set Theory in
künstlichen neuronalen Netzen 229
Thomas Feuring
Semantik
II
Pushdown Processes: Parallel Composition and Model Checking
241
Olaf Burkart, Bernhanl
Steffen
Higher Order Data. Flow Analysis
258
Jens
Knoop
|
| any_adam_object | 1 |
| author_GND | (DE-588)139235965 |
| building | Verbundindex |
| bvnumber | BV009564492 |
| classification_tum | DAT 350f DAT 300f |
| ctrlnum | (OCoLC)75420991 (DE-599)BVBBV009564492 |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01950nam a2200421 cb4500</leader><controlfield tag="001">BV009564492</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120710 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940425s1993 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940831481</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75420991</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009564492</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 350f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 300f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Programmiersprachen und Grundlagen der Programmierung</subfield><subfield code="b">Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993</subfield><subfield code="c">hrsg. von Rudolf Berghammer...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Neubiberg</subfield><subfield code="b">Univ. der Bundeswehr München, Fak. für Informatik</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">VII, 270 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Bericht / Universität der Bundeswehr München, Fakultät für Informatik</subfield><subfield code="v">1993,9</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Beitr. teilw. dt., teilw. engl. - Literaturangaben</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1993</subfield><subfield code="z">Garmisch-Partenkirchen</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Berghammer, Rudolf</subfield><subfield code="d">1952-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)139235965</subfield><subfield code="4">oth</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Universität der Bundeswehr München, Fakultät für Informatik</subfield><subfield code="t">Bericht</subfield><subfield code="v">1993,9</subfield><subfield code="w">(DE-604)BV006642330</subfield><subfield code="9">1993,9</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320405&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006320405</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1993 Garmisch-Partenkirchen gnd-content |
| genre_facet | Konferenzschrift 1993 Garmisch-Partenkirchen |
| id | DE-604.BV009564492 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:37:13Z |
| institution | BVB |
| language | German English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006320405 |
| oclc_num | 75420991 |
| open_access_boolean | |
| owner | DE-12 DE-29T DE-91 DE-BY-TUM DE-83 DE-706 |
| owner_facet | DE-12 DE-29T DE-91 DE-BY-TUM DE-83 DE-706 |
| physical | VII, 270 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | Univ. der Bundeswehr München, Fak. für Informatik |
| record_format | marc |
| series2 | Bericht / Universität der Bundeswehr München, Fakultät für Informatik |
| spelling | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 hrsg. von Rudolf Berghammer... Neubiberg Univ. der Bundeswehr München, Fak. für Informatik 1993 VII, 270 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Bericht / Universität der Bundeswehr München, Fakultät für Informatik 1993,9 Beitr. teilw. dt., teilw. engl. - Literaturangaben Programmiersprache (DE-588)4047409-4 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1993 Garmisch-Partenkirchen gnd-content Programmierung (DE-588)4076370-5 s DE-604 Programmiersprache (DE-588)4047409-4 s Berghammer, Rudolf 1952- Sonstige (DE-588)139235965 oth Universität der Bundeswehr München, Fakultät für Informatik Bericht 1993,9 (DE-604)BV006642330 1993,9 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320405&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 Programmiersprache (DE-588)4047409-4 gnd Programmierung (DE-588)4076370-5 gnd |
| subject_GND | (DE-588)4047409-4 (DE-588)4076370-5 (DE-588)1071861417 |
| title | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 |
| title_auth | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 |
| title_exact_search | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 |
| title_full | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 hrsg. von Rudolf Berghammer... |
| title_fullStr | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 hrsg. von Rudolf Berghammer... |
| title_full_unstemmed | Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 hrsg. von Rudolf Berghammer... |
| title_short | Programmiersprachen und Grundlagen der Programmierung |
| title_sort | programmiersprachen und grundlagen der programmierung vortragsausarbeitungen eines kolloquiums auf der barbarahutte am kreuzeck 15 17 september 1993 |
| title_sub | Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 |
| topic | Programmiersprache (DE-588)4047409-4 gnd Programmierung (DE-588)4076370-5 gnd |
| topic_facet | Programmiersprache Programmierung Konferenzschrift 1993 Garmisch-Partenkirchen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006320405&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV006642330 |
| work_keys_str_mv | AT berghammerrudolf programmiersprachenundgrundlagenderprogrammierungvortragsausarbeitungeneineskolloquiumsaufderbarbarahutteamkreuzeck1517september1993 |