Verfügbarkeit: Unifying theories of programming

Unifying theories of programming: second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 5713
Schlagworte:	Programmierung Unifikationstheorie Konferenzschrift > 2008 > Dublin
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	278 S. graph. Darst.
ISBN:	9783642145209

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036606268
003	DE-604
005	20100923
007	t\|
008	100809s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 10,N25 \|2 dnb
016	7		\|a 1003553508 \|2 DE-101
020			\|a 9783642145209 \|c PB. : ca. EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.) \|9 978-3-642-14520-9
024	3		\|a 9783642145209
028	5	2	\|a 80018338
035			\|a (OCoLC)658325071
035			\|a (DE-599)DNB1003553508
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
049			\|a DE-706 \|a DE-91G \|a DE-83
082	0		\|a 005.1 \|2 22/ger
084			\|a DAT 557f \|2 stub
084			\|a 004 \|2 sdnb
245	1	0	\|a Unifying theories of programming \|b second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers \|c Andrew Butterfield (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a 278 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 5713
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Unifikationstheorie \|0 (DE-588)4186894-8 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2008 \|z Dublin \|2 gnd-content
689	0	0	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	0	1	\|a Unifikationstheorie \|0 (DE-588)4186894-8 \|D s
689	0		\|5 DE-604
700	1		\|a Butterfield, Andrew \|e Sonstige \|0 (DE-588)13276069X \|4 oth
711	2		\|a UTP \|n 2 \|d 2008 \|c Dublin \|j Sonstige \|0 (DE-588)16076954-1 \|4 oth
830		0	\|a Lecture notes in computer science \|v 5713 \|w (DE-604)BV000000607 \|9 5713
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=3493214&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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=020526653&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-020526653

Datensatz im Suchindex

_version_	1820875251547897856
adam_text	TABLE OF CONTENTS REFINEMENT CALCULUS AS A THEORY OF CONTRACTS (INVITED PAPER) 1 RALPH-JOHAN BACK TRANSACTION CALCULUS (INVITED PAPER) 2 JIFENG HE UTP AND TEMPORAL LOGIC MODEL CHECKING 22 HUGH ANDERSON, GABRIEL CIOBANU, AND LEO FREITAS A NOTE ON TRACES REFINEMENT AND THE CONF RELATION IN THE UNIFYING THEORIES OF PROGRAMMING 42 ANA CAVALCANTI AND MARIE-CLAUDE GAUDEL REASONING ABOUT LOOPS IN TOTAL AND GENERAL CORRECTNESS 62 STEVE E. DUNNE, IAN J. HAYES, AND ANDY J. GALLOWAY LAZY UTP 82 WALTER GUTTMANN MONADIC MAPS AND FOLDS FOR MULTIRELATIONS IN AN ALLEGORY 102 CLARE E. MARTIN AND SHARON A. CURTIS UNIFYING THEORIES OF INTERRUPTS 122 ALISTAIR A. MCEWAN AND JIM WOODCOCK UTP SEMANTICS FOR HANDEL-C 142 JUAN IGNACIO PERNA AND JIM WOODCOCK UNIFYING THEORIES OF LOCATIONS 161 MICHAEL ANTHONY SMITH AND JEREMY GIBBONS UNIFYING INPUT OUTPUT CONFORMANCE 181 MARTIN WEIGLHOFER AND BERNHARD K. AICHERNIG THE MIRACLE OF REACTIVE PROGRAMMING 202 JIM WOODCOCK ENCODING CIRCUS PROGRAMS IN PROOFPOWER-Z 218 FRANK ZEYDA AND ANA CAVALCANTI COMPONEN BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1003553508 DIGITALISIERT DURCH
any_adam_object	1
author_GND	(DE-588)13276069X
building	Verbundindex
bvnumber	BV036606268
classification_rvk	SS 4800
classification_tum	DAT 557f
ctrlnum	(OCoLC)658325071 (DE-599)DNB1003553508
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding 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">BV036606268</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100923</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">100809s2010 xx d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N25</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1003553508</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642145209</subfield><subfield code="c">PB. : ca. EUR 49.22 (freier Pr.), ca. sfr 71.50 (freier Pr.)</subfield><subfield code="9">978-3-642-14520-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642145209</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">80018338</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)658325071</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1003553508</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-706</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">22/ger</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Unifying theories of programming</subfield><subfield code="b">second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers</subfield><subfield code="c">Andrew Butterfield (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">278 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">Lecture notes in computer science</subfield><subfield code="v">5713</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">Unifikationstheorie</subfield><subfield code="0">(DE-588)4186894-8</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">2008</subfield><subfield code="z">Dublin</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="1"><subfield code="a">Unifikationstheorie</subfield><subfield code="0">(DE-588)4186894-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Butterfield, Andrew</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)13276069X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">UTP</subfield><subfield code="n">2</subfield><subfield code="d">2008</subfield><subfield code="c">Dublin</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16076954-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">5713</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">5713</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=3493214&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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=020526653&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-020526653</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2008 Dublin gnd-content
genre_facet	Konferenzschrift 2008 Dublin
id	DE-604.BV036606268
illustrated	Illustrated
indexdate	2025-01-10T15:12:39Z
institution	BVB
institution_GND	(DE-588)16076954-1
isbn	9783642145209
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020526653
oclc_num	658325071
open_access_boolean
owner	DE-706 DE-91G DE-BY-TUM DE-83
owner_facet	DE-706 DE-91G DE-BY-TUM DE-83
physical	278 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers Andrew Butterfield (ed.) Berlin [u.a.] Springer 2010 278 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 5713 Programmierung (DE-588)4076370-5 gnd rswk-swf Unifikationstheorie (DE-588)4186894-8 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2008 Dublin gnd-content Programmierung (DE-588)4076370-5 s Unifikationstheorie (DE-588)4186894-8 s DE-604 Butterfield, Andrew Sonstige (DE-588)13276069X oth UTP 2 2008 Dublin Sonstige (DE-588)16076954-1 oth Lecture notes in computer science 5713 (DE-604)BV000000607 5713 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=3493214&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020526653&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers Lecture notes in computer science Programmierung (DE-588)4076370-5 gnd Unifikationstheorie (DE-588)4186894-8 gnd
subject_GND	(DE-588)4076370-5 (DE-588)4186894-8 (DE-588)1071861417
title	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers
title_auth	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers
title_exact_search	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers
title_full	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers Andrew Butterfield (ed.)
title_fullStr	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers Andrew Butterfield (ed.)
title_full_unstemmed	Unifying theories of programming second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers Andrew Butterfield (ed.)
title_short	Unifying theories of programming
title_sort	unifying theories of programming second international symposium utp 2008 dublin ireland september 8 10 2008 revised selected papers
title_sub	second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008 ; revised selected papers
topic	Programmierung (DE-588)4076370-5 gnd Unifikationstheorie (DE-588)4186894-8 gnd
topic_facet	Programmierung Unifikationstheorie Konferenzschrift 2008 Dublin
url	http://deposit.dnb.de/cgi-bin/dokserv?id=3493214&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020526653&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT butterfieldandrew unifyingtheoriesofprogrammingsecondinternationalsymposiumutp2008dublinirelandseptember8102008revisedselectedpapers AT utpdublin unifyingtheoriesofprogrammingsecondinternationalsymposiumutp2008dublinirelandseptember8102008revisedselectedpapers

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge