Verfügbarkeit: Compositionality, concurrency, and partial correctness

Compositionality, concurrency, and partial correctness: proof theories for networks of processes, and their relationship

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Zwiers, Job (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin u.a Springer 1989
Schriftenreihe:	Lecture notes in computer science 321
Schlagworte:	Dekomposition Korrektheit Programmverifikation Beweis Modulare Programmierung Partiell korrektes Programm Nebenläufigkeit Hochschulschrift
Online-Zugang:	Volltext
Beschreibung:	1 Online-Ressource (VI, 272 S. graph. Darst.)
ISBN:	3540508457 0387508457
DOI:	10.1007/BFb0020836

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV035801273
003	DE-604
005	20201214
007	cr\|uuu---uuuuu
008	091030s1989 gw d\|\|\| o\|\|\|\| 00\|\|\| eng d
020			\|a 3540508457 \|9 3-540-50845-7
020			\|a 0387508457 \|9 0-387-50845-7
024	7		\|a 10.1007/BFb0020836 \|2 doi
035			\|a (OCoLC)611718582
035			\|a (DE-599)BVBBV035801273
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-634 \|a DE-210 \|a DE-Aug4 \|a DE-M347 \|a DE-860 \|a DE-70 \|a DE-91 \|a DE-384 \|a DE-473 \|a DE-19 \|a DE-355 \|a DE-703 \|a DE-29 \|a DE-739 \|a DE-859 \|a DE-706 \|a DE-1046 \|a DE-526 \|a DE-521 \|a DE-573 \|a DE-523
084			\|a DAT 325f \|2 stub
100	1		\|a Zwiers, Job \|e Verfasser \|4 aut
245	1	0	\|a Compositionality, concurrency, and partial correctness \|b proof theories for networks of processes, and their relationship \|c J. Zwiers
264		1	\|a Berlin u.a \|b Springer \|c 1989
300			\|a 1 Online-Ressource (VI, 272 S. \|b graph. Darst.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 321
650	0	7	\|a Dekomposition \|0 (DE-588)4149030-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Korrektheit \|0 (DE-588)4240223-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Beweis \|0 (DE-588)4132532-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Modulare Programmierung \|0 (DE-588)4120756-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Partiell korrektes Programm \|0 (DE-588)4210084-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4113937-9 \|a Hochschulschrift \|2 gnd-content
689	0	0	\|a Nebenläufigkeit \|0 (DE-588)4115352-2 \|D s
689	0	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	2	\|a Dekomposition \|0 (DE-588)4149030-7 \|D s
689	0	3	\|a Partiell korrektes Programm \|0 (DE-588)4210084-7 \|D s
689	0		\|5 DE-604
689	1	0	\|a Modulare Programmierung \|0 (DE-588)4120756-7 \|D s
689	1		\|5 DE-604
689	2	0	\|a Korrektheit \|0 (DE-588)4240223-2 \|D s
689	2	1	\|a Beweis \|0 (DE-588)4132532-1 \|D s
689	2		\|8 2\p \|5 DE-604
830		0	\|a Lecture notes in computer science \|v 321 \|w (DE-604)BV014880109 \|9 321
856	4	0	\|u https://doi.org/10.1007/BFb0020836 \|x Verlag \|3 Volltext
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 2\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-1-SLN
912			\|a ZDB-2-LNC
943	1		\|a oai:aleph.bib-bvb.de:BVB01-018660394

Datensatz im Suchindex

_version_	1820875183702933504
adam_text
any_adam_object
author	Zwiers, Job
author_facet	Zwiers, Job
author_role	aut
author_sort	Zwiers, Job
author_variant	j z jz
building	Verbundindex
bvnumber	BV035801273
classification_rvk	SS 4800
classification_tum	DAT 325f
collection	ZDB-1-SLN ZDB-2-LNC
ctrlnum	(OCoLC)611718582 (DE-599)BVBBV035801273
discipline	Informatik
doi_str_mv	10.1007/BFb0020836
format	Electronic eBook
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">BV035801273</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201214</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">091030s1989 gw d\|\|\| o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540508457</subfield><subfield code="9">3-540-50845-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387508457</subfield><subfield code="9">0-387-50845-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/BFb0020836</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)611718582</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035801273</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="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-634</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-70</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-526</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-523</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Zwiers, Job</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Compositionality, concurrency, and partial correctness</subfield><subfield code="b">proof theories for networks of processes, and their relationship</subfield><subfield code="c">J. Zwiers</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin u.a</subfield><subfield code="b">Springer</subfield><subfield code="c">1989</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VI, 272 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">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="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">321</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Dekomposition</subfield><subfield code="0">(DE-588)4149030-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modulare Programmierung</subfield><subfield code="0">(DE-588)4120756-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Partiell korrektes Programm</subfield><subfield code="0">(DE-588)4210084-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Dekomposition</subfield><subfield code="0">(DE-588)4149030-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Partiell korrektes Programm</subfield><subfield code="0">(DE-588)4210084-7</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">Modulare Programmierung</subfield><subfield code="0">(DE-588)4120756-7</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">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Beweis</subfield><subfield code="0">(DE-588)4132532-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">321</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">321</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/BFb0020836</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</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="883" ind1="1" ind2=" "><subfield code="8">2\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="912" ind1=" " ind2=" "><subfield code="a">ZDB-1-SLN</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018660394</subfield></datafield></record></collection>
genre	1\p (DE-588)4113937-9 Hochschulschrift gnd-content
genre_facet	Hochschulschrift
id	DE-604.BV035801273
illustrated	Illustrated
indexdate	2025-01-10T15:11:36Z
institution	BVB
isbn	3540508457 0387508457
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-018660394
oclc_num	611718582
open_access_boolean
owner	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
owner_facet	DE-12 DE-634 DE-210 DE-Aug4 DE-M347 DE-860 DE-70 DE-91 DE-BY-TUM DE-384 DE-473 DE-BY-UBG DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-703 DE-29 DE-739 DE-859 DE-706 DE-1046 DE-526 DE-521 DE-573 DE-523
physical	1 Online-Ressource (VI, 272 S. graph. Darst.)
psigel	ZDB-1-SLN ZDB-2-LNC
publishDate	1989
publishDateSearch	1989
publishDateSort	1989
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Zwiers, Job Verfasser aut Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship J. Zwiers Berlin u.a Springer 1989 1 Online-Ressource (VI, 272 S. graph. Darst.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 321 Dekomposition (DE-588)4149030-7 gnd rswk-swf Korrektheit (DE-588)4240223-2 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Beweis (DE-588)4132532-1 gnd rswk-swf Modulare Programmierung (DE-588)4120756-7 gnd rswk-swf Partiell korrektes Programm (DE-588)4210084-7 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Nebenläufigkeit (DE-588)4115352-2 s Programmverifikation (DE-588)4135576-3 s Dekomposition (DE-588)4149030-7 s Partiell korrektes Programm (DE-588)4210084-7 s DE-604 Modulare Programmierung (DE-588)4120756-7 s Korrektheit (DE-588)4240223-2 s Beweis (DE-588)4132532-1 s 2\p DE-604 Lecture notes in computer science 321 (DE-604)BV014880109 321 https://doi.org/10.1007/BFb0020836 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Zwiers, Job Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship Lecture notes in computer science Dekomposition (DE-588)4149030-7 gnd Korrektheit (DE-588)4240223-2 gnd Programmverifikation (DE-588)4135576-3 gnd Beweis (DE-588)4132532-1 gnd Modulare Programmierung (DE-588)4120756-7 gnd Partiell korrektes Programm (DE-588)4210084-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
subject_GND	(DE-588)4149030-7 (DE-588)4240223-2 (DE-588)4135576-3 (DE-588)4132532-1 (DE-588)4120756-7 (DE-588)4210084-7 (DE-588)4115352-2 (DE-588)4113937-9
title	Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship
title_auth	Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship
title_exact_search	Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship
title_full	Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship J. Zwiers
title_fullStr	Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship J. Zwiers
title_full_unstemmed	Compositionality, concurrency, and partial correctness proof theories for networks of processes, and their relationship J. Zwiers
title_short	Compositionality, concurrency, and partial correctness
title_sort	compositionality concurrency and partial correctness proof theories for networks of processes and their relationship
title_sub	proof theories for networks of processes, and their relationship
topic	Dekomposition (DE-588)4149030-7 gnd Korrektheit (DE-588)4240223-2 gnd Programmverifikation (DE-588)4135576-3 gnd Beweis (DE-588)4132532-1 gnd Modulare Programmierung (DE-588)4120756-7 gnd Partiell korrektes Programm (DE-588)4210084-7 gnd Nebenläufigkeit (DE-588)4115352-2 gnd
topic_facet	Dekomposition Korrektheit Programmverifikation Beweis Modulare Programmierung Partiell korrektes Programm Nebenläufigkeit Hochschulschrift
url	https://doi.org/10.1007/BFb0020836
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT zwiersjob compositionalityconcurrencyandpartialcorrectnessprooftheoriesfornetworksofprocessesandtheirrelationship

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge