Verfügbarkeit: Specification-oriented semantics for communicating processes

Specification-oriented semantics for communicating processes:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Olderog, Ernst-Rüdiger 1955- (VerfasserIn), Hoare, Charles A. R. 1934- (VerfasserIn)
Format:	Buch
Sprache:	Englisch
Veröffentlicht:	Oxford Oxford Univ. Computing Lab. 1984
Schriftenreihe:	Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG 37
Schlagwörter:	Programming languages (Electronic computers) > Semantics Datenverarbeitung Kommunikation
Umfang:	81 S.

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV006515679
003	DE-604
005	19980226
007	t\|
008	930210s1984 xx \|\|\|\| 00\|\|\| eng d
035			\|a (OCoLC)11822671
035			\|a (DE-599)BVBBV006515679
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-91G \|a DE-739
050		0	\|a QA76.7
084			\|a ST 140 \|0 (DE-625)143592: \|2 rvk
084			\|a DAT 557f \|2 stub
084			\|a DAT 252f \|2 stub
100	1		\|a Olderog, Ernst-Rüdiger \|d 1955- \|e Verfasser \|0 (DE-588)136626890 \|4 aut
245	1	0	\|a Specification-oriented semantics for communicating processes \|c by E.-R. Olderog and C. A. R. Hoare
264		1	\|a Oxford \|b Oxford Univ. Computing Lab. \|c 1984
300			\|a 81 S.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG \|v 37
650		4	\|a Programming languages (Electronic computers) \|x Semantics
650	0	7	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kommunikation \|0 (DE-588)4031883-7 \|2 gnd \|9 rswk-swf
689	0	0	\|a Datenverarbeitung \|0 (DE-588)4011152-0 \|D s
689	0	1	\|a Kommunikation \|0 (DE-588)4031883-7 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Hoare, Charles A. R. \|d 1934- \|e Verfasser \|0 (DE-588)119103265 \|4 aut
810	2		\|a Programming Research Group: Technical monograph PRG \|t Computing Laboratory <Oxford> \|v 37 \|w (DE-604)BV007221199 \|9 37
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-004147504

Datensatz im Suchindex

DE-BY-TUM_call_number	0111 2001 B 6100-37
DE-BY-TUM_katkey	750993
DE-BY-TUM_location	01
DE-BY-TUM_media_number	040010280518
_version_	1821934858863116288
adam_text
any_adam_object
author	Olderog, Ernst-Rüdiger 1955- Hoare, Charles A. R. 1934-
author_GND	(DE-588)136626890 (DE-588)119103265
author_facet	Olderog, Ernst-Rüdiger 1955- Hoare, Charles A. R. 1934-
author_role	aut aut
author_sort	Olderog, Ernst-Rüdiger 1955-
author_variant	e r o ero c a r h car carh
building	Verbundindex
bvnumber	BV006515679
callnumber-first	Q - Science
callnumber-label	QA76
callnumber-raw	QA76.7
callnumber-search	QA76.7
callnumber-sort	QA 276.7
callnumber-subject	QA - Mathematics
classification_rvk	ST 140
classification_tum	DAT 557f DAT 252f
ctrlnum	(OCoLC)11822671 (DE-599)BVBBV006515679
discipline	Informatik
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV006515679</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980226</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">930210s1984 xx \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)11822671</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV006515679</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.7</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 557f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 252f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Olderog, Ernst-Rüdiger</subfield><subfield code="d">1955-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136626890</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Specification-oriented semantics for communicating processes</subfield><subfield code="c">by E.-R. Olderog and C. A. R. Hoare</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Oxford</subfield><subfield code="b">Oxford Univ. Computing Lab.</subfield><subfield code="c">1984</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">81 S.</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">Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG</subfield><subfield code="v">37</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kommunikation</subfield><subfield code="0">(DE-588)4031883-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenverarbeitung</subfield><subfield code="0">(DE-588)4011152-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kommunikation</subfield><subfield code="0">(DE-588)4031883-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hoare, Charles A. R.</subfield><subfield code="d">1934-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)119103265</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Programming Research Group: Technical monograph PRG</subfield><subfield code="t">Computing Laboratory <Oxford></subfield><subfield code="v">37</subfield><subfield code="w">(DE-604)BV007221199</subfield><subfield code="9">37</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-004147504</subfield></datafield></record></collection>
id	DE-604.BV006515679
illustrated	Not Illustrated
indexdate	2025-01-11T19:13:51Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-004147504
oclc_num	11822671
open_access_boolean
owner	DE-91G DE-BY-TUM DE-739
owner_facet	DE-91G DE-BY-TUM DE-739
physical	81 S.
publishDate	1984
publishDateSearch	1984
publishDateSort	1984
publisher	Oxford Univ. Computing Lab.
record_format	marc
series2	Computing Laboratory <Oxford> / Programming Research Group: Technical monograph PRG
spellingShingle	Olderog, Ernst-Rüdiger 1955- Hoare, Charles A. R. 1934- Specification-oriented semantics for communicating processes Programming languages (Electronic computers) Semantics Datenverarbeitung (DE-588)4011152-0 gnd Kommunikation (DE-588)4031883-7 gnd
subject_GND	(DE-588)4011152-0 (DE-588)4031883-7
title	Specification-oriented semantics for communicating processes
title_auth	Specification-oriented semantics for communicating processes
title_exact_search	Specification-oriented semantics for communicating processes
title_full	Specification-oriented semantics for communicating processes by E.-R. Olderog and C. A. R. Hoare
title_fullStr	Specification-oriented semantics for communicating processes by E.-R. Olderog and C. A. R. Hoare
title_full_unstemmed	Specification-oriented semantics for communicating processes by E.-R. Olderog and C. A. R. Hoare
title_short	Specification-oriented semantics for communicating processes
title_sort	specification oriented semantics for communicating processes
topic	Programming languages (Electronic computers) Semantics Datenverarbeitung (DE-588)4011152-0 gnd Kommunikation (DE-588)4031883-7 gnd
topic_facet	Programming languages (Electronic computers) Semantics Datenverarbeitung Kommunikation
volume_link	(DE-604)BV007221199
work_keys_str_mv	AT olderogernstrudiger specificationorientedsemanticsforcommunicatingprocesses AT hoarecharlesar specificationorientedsemanticsforcommunicatingprocesses

Verfügbarkeit

Bestellen (Login erforderlich)

Paper/Kapitel scannen lassen

Teilbibliothek Mathematik & Informatik, Berichte

Bestandsangaben von Teilbibliothek Mathematik & Informatik, Berichte
Signatur:	0111 2001 B 6100-37 Lageplan
Exemplar 1	Ausleihbar Am Standort