Availability: Adding fair choice to Dijkstra's calculus

Saved in:

Bibliographic Details
Main Authors:	Broy, Manfred 1949- (Author), Nelson, Greg (Author)
Format:	Electronic eBook
Language:	English
Published:	New York, NY Assoc. for Computing Machinery (ACM) 1994
Links:	http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb00069234-4
Item Description:	In: ACM transactions on programming languages and systems, Vol. 16, No. 3, 1994. - New York, NY : Assoc. for Computing Machinery (ACM)
Physical Description:	1 Online-Ressource (S. [924] - 938)

Staff View

MARC


LEADER	00000nam a2200000 c 4500
001	BV039889914
003	DE-604
005	20210301
007	cr\|uuu---uuuuu
008	120215s1994 xx o\|\|\|\| 00\|\|\| eng d
035			\|a (OCoLC)780118448
035			\|a (DE-599)BVBBV039889914
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-12
100	1		\|a Broy, Manfred \|d 1949- \|e Verfasser \|0 (DE-588)109602137 \|4 aut
245	1	0	\|a Adding fair choice to Dijkstra's calculus \|c Manfred Broy ; Greg Nelson
264		1	\|a New York, NY \|b Assoc. for Computing Machinery (ACM) \|c 1994
300			\|a 1 Online-Ressource (S. [924] - 938)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
500			\|a In: ACM transactions on programming languages and systems, Vol. 16, No. 3, 1994. - New York, NY : Assoc. for Computing Machinery (ACM)
700	1		\|a Nelson, Greg \|e Verfasser \|0 (DE-588)136085679 \|4 aut
776	0	8	\|i Elektronische Reproduktion \|d München : Bayerische Staatsbibliothek, 2012 \|o urn:nbn:de:bvb:12-bsb00069234-4
856	4	1	\|u http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb00069234-4 \|x Resolving-System \|z kostenfrei \|3 Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 4 Z 81.25-16,1/3#S.924-938
912			\|a digit
940	1		\|q BSBLeibnizPublik
943	1		\|a oai:aleph.bib-bvb.de:BVB01-024748963

Record in the Search Index

_version_	1818975984483827712
any_adam_object
author	Broy, Manfred 1949- Nelson, Greg
author_GND	(DE-588)109602137 (DE-588)136085679
author_facet	Broy, Manfred 1949- Nelson, Greg
author_role	aut aut
author_sort	Broy, Manfred 1949-
author_variant	m b mb g n gn
building	Verbundindex
bvnumber	BV039889914
collection	digit
ctrlnum	(OCoLC)780118448 (DE-599)BVBBV039889914
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01360nam a2200313 c 4500</leader><controlfield tag="001">BV039889914</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210301 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">120215s1994 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)780118448</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV039889914</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Broy, Manfred</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)109602137</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Adding fair choice to Dijkstra's calculus</subfield><subfield code="c">Manfred Broy ; Greg Nelson</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Assoc. for Computing Machinery (ACM)</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (S. [924] - 938)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">In: ACM transactions on programming languages and systems, Vol. 16, No. 3, 1994. - New York, NY : Assoc. for Computing Machinery (ACM)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Nelson, Greg</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)136085679</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Elektronische Reproduktion</subfield><subfield code="d">München : Bayerische Staatsbibliothek, 2012</subfield><subfield code="o">urn:nbn:de:bvb:12-bsb00069234-4</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb00069234-4</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 4 Z 81.25-16,1/3#S.924-938</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">digit</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">BSBLeibnizPublik</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-024748963</subfield></datafield></record></collection>
id	DE-604.BV039889914
illustrated	Not Illustrated
indexdate	2024-12-20T16:04:38Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-024748963
oclc_num	780118448
open_access_boolean	1
owner	DE-12
owner_facet	DE-12
physical	1 Online-Ressource (S. [924] - 938)
psigel	digit BSBLeibnizPublik
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
publisher	Assoc. for Computing Machinery (ACM)
record_format	marc
spelling	Broy, Manfred 1949- Verfasser (DE-588)109602137 aut Adding fair choice to Dijkstra's calculus Manfred Broy ; Greg Nelson New York, NY Assoc. for Computing Machinery (ACM) 1994 1 Online-Ressource (S. [924] - 938) txt rdacontent c rdamedia cr rdacarrier In: ACM transactions on programming languages and systems, Vol. 16, No. 3, 1994. - New York, NY : Assoc. for Computing Machinery (ACM) Nelson, Greg Verfasser (DE-588)136085679 aut Elektronische Reproduktion München : Bayerische Staatsbibliothek, 2012 urn:nbn:de:bvb:12-bsb00069234-4 http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb00069234-4 Resolving-System kostenfrei Volltext // Exemplar mit der Signatur: München, Bayerische Staatsbibliothek -- 4 Z 81.25-16,1/3#S.924-938
spellingShingle	Broy, Manfred 1949- Nelson, Greg Adding fair choice to Dijkstra's calculus
title	Adding fair choice to Dijkstra's calculus
title_auth	Adding fair choice to Dijkstra's calculus
title_exact_search	Adding fair choice to Dijkstra's calculus
title_full	Adding fair choice to Dijkstra's calculus Manfred Broy ; Greg Nelson
title_fullStr	Adding fair choice to Dijkstra's calculus Manfred Broy ; Greg Nelson
title_full_unstemmed	Adding fair choice to Dijkstra's calculus Manfred Broy ; Greg Nelson
title_short	Adding fair choice to Dijkstra's calculus
title_sort	adding fair choice to dijkstra s calculus
url	http://mdz-nbn-resolving.de/urn:nbn:de:bvb:12-bsb00069234-4
work_keys_str_mv	AT broymanfred addingfairchoicetodijkstrascalculus AT nelsongreg addingfairchoicetodijkstrascalculus

Availability

‌

Read online (freely available)