Holdings: Semantik :: THWS Bibkatalog

Semantik: Theorie sequentieller und paralleler Programmierung

Saved in:

Bibliographic Details
Main Author:	Best, Eike 1951- (Author)
Format:	Book
Language:	German
Published:	Braunschweig [u.a.] Vieweg 1995
Series:	Lehrbücher Informatik
Subjects:	Datenfluss Kontrollfluss Semantik Parallelverarbeitung Formale Semantik Programmierung Programmiersprache Hochschulschrift
Online Access:	Inhaltsverzeichnis
Physical Description:	XIV, 370 S. graph. Darst.
ISBN:	352805431X

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV009988457
003	DE-604
005	20160805
007	t
008	950116s1995 gw d\|\|\| m\|\|\| 00\|\|\| ger d
016	7		\|a 942537513 \|2 DE-101
020			\|a 352805431X \|9 3-528-05431-X
035			\|a (OCoLC)256867854
035			\|a (DE-599)BVBBV009988457
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a ger
044			\|a gw \|c DE
049			\|a DE-19 \|a DE-91G \|a DE-29T \|a DE-898 \|a DE-355 \|a DE-384 \|a DE-20 \|a DE-473 \|a DE-739 \|a DE-862 \|a DE-706 \|a DE-634 \|a DE-83 \|a DE-11 \|a DE-188
084			\|a ST 140 \|0 (DE-625)143592: \|2 rvk
084			\|a DAT 516f \|2 stub
084			\|a DAT 557f \|2 stub
100	1		\|a Best, Eike \|d 1951- \|e Verfasser \|0 (DE-588)1021355593 \|4 aut
245	1	0	\|a Semantik \|b Theorie sequentieller und paralleler Programmierung \|c Eike Best
264		1	\|a Braunschweig [u.a.] \|b Vieweg \|c 1995
300			\|a XIV, 370 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	0		\|a Lehrbücher Informatik
650	0	7	\|a Datenfluss \|0 (DE-588)4191571-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kontrollfluss \|0 (DE-588)4131769-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Semantik \|0 (DE-588)4054490-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Semantik \|0 (DE-588)4122144-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|D s
689	0	1	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	0	2	\|a Semantik \|0 (DE-588)4054490-4 \|D s
689	0		\|5 DE-604
689	1	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	1	1	\|a Datenfluss \|0 (DE-588)4191571-9 \|D s
689	1	2	\|a Kontrollfluss \|0 (DE-588)4131769-5 \|D s
689	1	3	\|a Formale Semantik \|0 (DE-588)4122144-8 \|D s
689	1		\|5 DE-604
689	2	0	\|a Parallelverarbeitung \|0 (DE-588)4075860-6 \|D s
689	2	1	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	2	2	\|a Formale Semantik \|0 (DE-588)4122144-8 \|D s
689	2		\|5 DE-604
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006620174&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006620174

Record in the Search Index

DE-BY-862_location	2801
DE-BY-FWS_call_number	2801/1991:4850
DE-BY-FWS_katkey	139832
DE-BY-FWS_media_number	083100399987
_version_	1824556299429347328
adam_text	INHALTSVERZEICHNIS 1 EINLEITUNG . 1 1.1 UEBERSICHT . 1 1.2 INHALT . 3 1.3 HISTORISCHES ZUR SEMANTIK SEQUENTIELLER PROGRAMME . 5 1.4 HISTORISCHES ZUR SEMANTIK PARALLELER PROGRAMME . 10 1.5 LITERATURANGABEN . 12 * 2 MATHEMATISCHE GRUNDLAGEN . 13 2.1 LOGIK, GLEICHHEIT UND MENGEN . 14 2.1.1 LOGISCHE OPERATOREN . 14 2.1.2 GLEICHHEITS-UND AEQUIVALENZBEGRIFFE . 14 2.1.3 MENGEN . 15 2.2 RELATIONEN, FUNKTIONEN UND OPERATIONEN . 16 2.2.1 RELATIONEN . 16 2.2.2 FUNKTIONENUNDOPERATIONEN . 18 2.3 HALBORDNUNGEN . 19 2.3.1 GRUNDBEGRIFFE . 20 2.3.2 EIGENSCHAFTEN VON HALBORDNUNGEN ZUR PROZESSBESCHREIBUNG . 21 2.3.3 EINE EIGENSCHAFT VON HALBORDNUNGEN ZUR TERMINIERUNG . 25 2.4 VERBAENDE . 25 2.4.1 GRUNDLEGENDE DEFINITIONEN . 26 2.4.2 VERBANDSOPERATIONEN UND -FUNKTIONEN . 27 2.4.3 UEBER DIE EXISTENZ VON FIXPUNKTEN . 29 2.4.4 ITERATIVE BERECHNUNG VON FIXPUNKTEN . 30 X INHALTSVERZEICHNIS 2.5 BOOLESCHE ALGEBREN, TEILMENGEN UND PRAEDIKATE . 31 2.6 VARIABLEN, ZUSTAENDE UND AUSDRUECKE . 33 2.6.1 VARIABIENDEKLARATIONEN UND ZUSTAENDE . 33 2.6.2 ARITHMETISCHE UND BOOLESCHE AUSDRUECKE; SYNTAXDEFINITIONEN . . 35 2.6.3 SUBSTITUTIONSSAETZE . 40 2.6.4 FELDDEKLARATIONEN UND FELDAUSDRUECKE . 41 2.7 GRAPHEN . 43 2.8 FOLGEN . 44 2.8.1 GRUNDLEGENDE DEFINITIONEN . 44 2.8.2 PRAEFIXSTRUKTUR . 45 2.9 LITERATURANGABEN . 47 2.10 UEBUNGSAUFGABEN . 48 3 SEMANTIK SEQUENTIELLER PROGRAMME . 51 3.1 SEQUENTIELLE NICHTDETERMINISTISCHE PROGRAMME . 52 3.1.1 SYNTAX UND ERLAEUTERUNGEN . 52 3.2 OPERATIONALE UND RELATIONALE SEMANTIK . 54 3.2*1 MOTIVATION UND GRUNDBEGRIFFE . 54 3.2.2 INDUKTIVE DEFINITION DER RELATIONALEN SEMANTIK . 56 3.2.3 UNENDLICH NICHTDETERMINISTISCHE PROGRAMME . 59 3.2.4 ANGELISCHER, DAEMONISCHER UND ERRATISCHER NICHTDETERMINISMUS . 60 3.3 BEWEISREGELN . 62 3.3.1 HOARE-TRIPEL . 62 3.3.2 HOARE-BEWEISREGELN . 62 3.3.3 ERLAEUTERUNG DER REGELN ANHAND VON BEISPIELEN . 64 3.3.4 SCHLEIFENREGEL UND INVARIANTEN (BEISPIEL) . 66 3.3.5 KONSISTENZ UND VOLLSTAENDIGKEIT . 68 3.3.6 DIE RELATIVITAET DER VOLLSTAENDIGKEITSAUSSAGE . 72 3.3.7 AEQUIVALENZ VON RELATIONALER UND AXIOMATISCHER SEMANTIK . 73 3.4 DIE WP-SEMANTIK . 74 3.4.1 DIE SEMANTISCHE FUNKTION WP . 75 3.4.2 DAS WP-KALKUEL . 76 3.4.3 AEQUIVALENZ ZWISCHEN WP-KALKUEL UND WP-FUNKTION . 80 INHALTSVERZEICHNIS XI 3.4.4 AEQUIVALENZ VON RELATIONALER UND WP-SEMANTIK . 85 3.4.5 SPEZIALFAELLE: STETIGE UND ADDITIVE WP-FUNKTIONEN . 89 3.4.6 LIVENESS UND SAFETY, INVARIANZ UND TERMINIERUNG . 93 3.4.7 WP-SEMANTIK ENDLICH NICHTDETERMINISTISCHER PROGRAMME . 99 3.5 BEMERKUNGEN ZUM ENTWURF VON PROGRAMMEN . 100 3.5.1 SPEZIFIKATIONEN UND INVARIANTEN . 100 3.5.2 LOESCHEN EINES LOGISCHEN FAKTORS . 104 3.5.3 ERSETZEN EINER KONSTANTEN DURCH EINE VARIABLE . 104 3.5.4 VERGROESSERN DES WERTEBEREICHS EINER VARIABLEN . 106 3.5.5 ADDIEREN EINES LOGISCHEN SUMMANDEN . 106 3.6 LITERATURANGABEN . 108 3.7 UEBUNGSAUFGABEN . 109 4 VON SEQUENTIELLEN ZU PARALLELEN SYSTEMEN . 113 4.1 ZUR OPERATIONALEN SEMANTIK PARALLELER PROGRAMME . 113 4.1.1 EIN DISJUNKT-PARALLELES MODELL . 113 4.1.2 SEQUENTIELLE, PARALLELE UND KAUSALE SEMANTIK . 116 4.1.3 EREIGNISHALBORDNUNGEN UND HALBWOERTER . 120 4.1.4 KORREKTHEIT UND EFFIZIENZ PARALLELER PROGRAMME . 122 4.2 ATOMARE AKTIONEN UND KONTROLLFLUSS . 124 4.2.1 FAIRNESS-BETRACHTUNGEN BEI SEQUENTIELLEN PROGRAMMEN . 125 4.2.2 DIEUND-REGEL . 126 4.2.3 EINE BEMERKUNG ZUR KOMPOSITIONALITAET . 128 4.2.4 DEADLOCK-BETRACHTUNGEN . 129 4.3 KONTROLLFLUSS UND DATENFLUSS . 130 4.4 LITERATURANGABEN . 133 4.5 UEBUNGSAUFGABEN . 134 5 KONTROLLPROGRAMME UND PETRINETZE . 135 5.1 KONTROLLPROGRAMME UND IHR VERHALTEN . 135 5.1.1 SEQUENTIELLE KONTROLLPROGRAMME . 136 5.1.2 PARALLELE UND TOP-LEVEL-KONTROLLPROGRAMME . 142 5.1.3 PARALLELE SEMANTIK VON KONTROLLPROGRAMMEN . 145 XII INHALTSVERZEICHNIS 5.2 PETRINETZE UND IHR VERHALTEN . 146 5.2.1 GRUNDLEGENDE DEFINITIONEN . 147 5.2.2 S-SYSTEME UND SND-SYSTEME . 150 5.2.3 INVARIANTEN IN PETRINETZEN . 152 5.2.4 KAUSALE SEMANTIK VON PETRINETZEN . 155 5.3 NETZSEMANTIK VON TOP-LEVEL-KONTROLLPROGRAMMEN . 159 5.3.1 UEBERSETZUNG VON KONTROLLPROGRAMMEN IN SND-SYSTEME . 159 5.3.2 SEMANTIKVERGLEICH VON KONTROLLPROGRAMMEN UND PETRINETZEN . . 162 5.3.3 WOHLGEFORMTHEIT UND REGULARITAET . 166 5.4 ZUR BENUTZUNG VON KONTROLLPROGRAMMEN UND NETZEN . 168 5.5 LITERATURANGABEN . 171 5.6 UEBUNGSAUFGABEN . 172 6 OPERATIONALE SEMANTIK UND FAIRNESS . 175 6.1 SEQUENTIELLE PROGRAMME MIT ATOMAREN AKTIONEN . 175 6.2 OPERATIONALE SEMANTIK . 177 6.2.1 BESCHREIBUNG DES KONTROLLFLUSSES . 177 6.2.2 BESCHREIBUNG DES DATENFLUSSES . 179 6.2.3 AUSFUEHRUNGSFOLGEN . 180 6.2.4 KONSISTENZBETRACHTUNG . 182 6.3 EINE HIERARCHIE VON FAIMESSBEGRIFFEN . 185 6.3.1 VIER BEISPIELE . 185 6.3.2 FAIMESSDEFINITIONEN . 187 6.3.3 FAIRNESS UND UNBESCHRAENKTER NICHTDETERMINISMUS . 188 6.4 LITERATURANGABEN . 193 6.5 UEBUNGSAUFGABEN . 193 7 PROGRAMME MIT GLOBALEM SPEICHER . 195 7.1 SYNTAX UND MOTIVATION . 196 7.2 OPERATIONALE SEMANTIK . 199 7.3 ERGAENZENDE BEMERKUNGEN . 202 7.3.1 RELATIONALE SEMANTIK . 202 7.3.2 INVARIANTEN UND STABILE PRAEDIKATE . 204 INHALTSVERZEICHNIS XIII 7.3.3 SCHACHTELUNG VON ATOMAREN AKTIONEN UND PARALLELOPERATOR . . . 204 7.3.4 KAUSALE SEMANTIK . 205 7.3.5 FAIRNESS UND FORTSCHRITT . 207 7.3.6 LOKALE UND GLOBALE VARIABLEN, LESER / SCHREIBER-PROBLEM . . . . 210 7.3.7 IMPLEMENTIERUNG ATOMARER AKTIONEN . 213 7.4 ALGORITHMEN ZUM WECHSELSEITIGEN AUSSCHLUSS . 215 7.4.1 HERLEITUNG VON PETERSONS ALGORITHMUS . 215 7.4.2 EIN OPERATIONALER BEWEIS VON PETERSONS ALGORITHMUS . 218 7.5 DAS OWICKI / GRIESSCHE BEWEISSYSTEM . 220 7.5.1 BEISPIELE UND MOTIVATION . 220 7.5.2 SEQUENTIELL GUELTIGE ANNOTATIONEN . 223 7.5.3 PARALLEL GUELTIGE ANNOTATIONEN . 224 7.5.4 DER KONSISTENZSATZ . 226 7.5.5 EIN OWICKI / GRIES-BEWEIS VON PETERSONS ALGORITHMUS . 227 7.5.6 SYSTEMATISCHE EINFUEHRUNG VON HILFSVARIABLEN . 229 7.5.7 DER VOLLSTAENDIGKEITSSATZ . ' . . . . 234 7.5.8 SCHACHTELUNG DES PARALLELOPERATORS, TERMINIERUNGSBEWEISE . . . 237 7.6 BEISPIELE UND FALLSTUDIEN . 237 7.6.1 EINPUFFER-PROGRAMM . 238 7.6.2 EIN PARALLELER ALGORITHMUS ZUR BERECHNUNG KUERZESTER WEGE . . . 239 7.6.3 EIN ALGORITHMUS ZUR BERECHNUNG EINES EULERKREISES . 242 7.6.4 EIN PETRINETZBEWEIS VON PETERSONS ALGORITHMUS . 249 7.6.5 EIN PARTIELL KORREKTES FIXPUNKTEINIGUNGSPROGRAMM . 253 7.6.6 EIN PARALLELER LISTENBEREINIGUNGSALGORITHMUS . 258 7.7 LITERATURANGABEN . 265 7.8 UEBUNGSAUFGABEN . 266 8 KOMMUNIZIERENDE PROGRAMME . 271 8.1 SYNTAX UND BEISPIELE . 272 8.2 OPERATIONALE SEMANTIK . 275 8.2.1 NAMEN ATOMARER AKTIONEN . 276 8.2.2 KONTROLLPROGRAMM UND AUSFUEHRUNGEN . 277 8.3 ERGAENZENDE BEMERKUNGEN . 281 XIV INHALTSVERZEICHNIS 8.3.1 RELATIONALE SEMANTIK UND KONSISTENZ . 281 8.3.2 KAUSALE SEMANTIK . 282 8.3.3 ERWEITERTE KOMMUNIKATIONSAKTIONEN . 282 8.3.4 ANDERE ERWEITERUNGEN . 285 8.4 EIN MENGENPARTITIONSPROGRAMM . 286 8.5 EIN BEWEISSYSTEM . 290 8.5.1 LOKALE, KOMMUNIKATIONS-UND TERMINIERUNGSAKTIONEN . 290 8.5.2 SEQUENTIELL GUELTIGE ANNOTATIONEN . 291 8.5.3 PARALLEL GUELTIGE ANNOTATIONEN . 292 8.5.4 EINE ANWENDUNG DES BEWEISSYSTEMS . 293 8.5.5 DER KONSISTENZSATZ . 295 8.5.6 DER VOLLSTAENDIGKEITSSATZ . 297 8.5.7 BEMERKUNGEN ZU DEN VOLLSTAENDIGKEITSSAETZEN . 299 8.6 BEISPIELE UND FALLSTUDIEN . 300 8.6.1 EIN KOORDINATIONSPROGRAMM . 301 8.6.2 BERECHNUNG DES GROESSTEN GEMEINSAMEN TEILERS . 303 8.6.3 EIN VERTEILTER TERMINIERUNGSALGORITHMUS . 306 8.7 LITERATURANGABEN . 310 8.8 UEBUNGSAUFGABEN . 311 A BEWEISE UND LOESUNGEN . 313 A.L BEWEISE DER SAETZE VON KAPITEL 2 UND KAPITEL 4 . 313 A.2 LOESUNGEN AUSGEWAEHLTER AUFGABEN . 326 A.3 LITERATURANGABEN . 344 BIBLIOGRAPHIE . 345 INDEX DER DEFINITIONEN . 363
any_adam_object	1
author	Best, Eike 1951-
author_GND	(DE-588)1021355593
author_facet	Best, Eike 1951-
author_role	aut
author_sort	Best, Eike 1951-
author_variant	e b eb
building	Verbundindex
bvnumber	BV009988457
classification_rvk	ST 140
classification_tum	DAT 516f DAT 557f
ctrlnum	(OCoLC)256867854 (DE-599)BVBBV009988457
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV009988457</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160805</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950116s1995 gw d\|\|\| m\|\|\| 00\|\|\| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">942537513</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">352805431X</subfield><subfield code="9">3-528-05431-X</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)256867854</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009988457</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</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-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 140</subfield><subfield code="0">(DE-625)143592:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 516f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Best, Eike</subfield><subfield code="d">1951-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1021355593</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Semantik</subfield><subfield code="b">Theorie sequentieller und paralleler Programmierung</subfield><subfield code="c">Eike Best</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Braunschweig [u.a.]</subfield><subfield code="b">Vieweg</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 370 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="0" ind2=" "><subfield code="a">Lehrbücher Informatik</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</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="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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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="2"><subfield code="a">Semantik</subfield><subfield code="0">(DE-588)4054490-4</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="1"><subfield code="a">Datenfluss</subfield><subfield code="0">(DE-588)4191571-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Kontrollfluss</subfield><subfield code="0">(DE-588)4131769-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Parallelverarbeitung</subfield><subfield code="0">(DE-588)4075860-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="2"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=006620174&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006620174</subfield></datafield></record></collection>
genre	(DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV009988457
illustrated	Illustrated
indexdate	2025-02-20T07:21:21Z
institution	BVB
isbn	352805431X
language	German
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006620174
oclc_num	256867854
open_access_boolean
owner	DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-29T DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-384 DE-20 DE-473 DE-BY-UBG DE-739 DE-862 DE-BY-FWS DE-706 DE-634 DE-83 DE-11 DE-188
owner_facet	DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-29T DE-898 DE-BY-UBR DE-355 DE-BY-UBR DE-384 DE-20 DE-473 DE-BY-UBG DE-739 DE-862 DE-BY-FWS DE-706 DE-634 DE-83 DE-11 DE-188
physical	XIV, 370 S. graph. Darst.
publishDate	1995
publishDateSearch	1995
publishDateSort	1995
publisher	Vieweg
record_format	marc
series2	Lehrbücher Informatik
spellingShingle	Best, Eike 1951- Semantik Theorie sequentieller und paralleler Programmierung Datenfluss (DE-588)4191571-9 gnd Kontrollfluss (DE-588)4131769-5 gnd Semantik (DE-588)4054490-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Formale Semantik (DE-588)4122144-8 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4191571-9 (DE-588)4131769-5 (DE-588)4054490-4 (DE-588)4075860-6 (DE-588)4122144-8 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)4113937-9
title	Semantik Theorie sequentieller und paralleler Programmierung
title_auth	Semantik Theorie sequentieller und paralleler Programmierung
title_exact_search	Semantik Theorie sequentieller und paralleler Programmierung
title_full	Semantik Theorie sequentieller und paralleler Programmierung Eike Best
title_fullStr	Semantik Theorie sequentieller und paralleler Programmierung Eike Best
title_full_unstemmed	Semantik Theorie sequentieller und paralleler Programmierung Eike Best
title_short	Semantik
title_sort	semantik theorie sequentieller und paralleler programmierung
title_sub	Theorie sequentieller und paralleler Programmierung
topic	Datenfluss (DE-588)4191571-9 gnd Kontrollfluss (DE-588)4131769-5 gnd Semantik (DE-588)4054490-4 gnd Parallelverarbeitung (DE-588)4075860-6 gnd Formale Semantik (DE-588)4122144-8 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Datenfluss Kontrollfluss Semantik Parallelverarbeitung Formale Semantik Programmierung Programmiersprache Hochschulschrift
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006620174&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
work_keys_str_mv	AT besteike semantiktheoriesequentiellerundparallelerprogrammierung

Holdings

Indexes

THWS Schweinfurt Magazin

Holdings details from THWS Schweinfurt Magazin
Call Number:	2801 1991:4850
Copy 1	bestellbar aus dem Magazin Available Place a Hold

MARC

Record in the Search Index

THWS Schweinfurt Magazin

Similar Items