Verfügbarkeit: Relational and algebraic methods in computer science

Relational and algebraic methods in computer science: 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2012
Schriftenreihe:	Lecture Notes in Computer Science 7560
Schlagworte:	Algebraische Spezifikation Mathematische Logik Kleene-Algebra Relationenalgebra Isabelle > Programm Programmverifikation HOL Algebraische Methode Konferenzschrift > 2012 > Cambridge
Online-Zugang:	Volltext
Beschreibung:	1 Online-Ressource (XII, 356 S.) graph. Darst.
ISBN:	9783642333149 3642333133
DOI:	10.1007/978-3-642-33314-9

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV040535668
003	DE-604
005	20130115
007	cr\|uuu---uuuuu
008	121112s2012 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d
015			\|a 12,N34 \|2 dnb
020			\|a 9783642333149 \|c Online \|9 978-3-642-33314-9
020			\|a 3642333133 \|9 3-642-33313-3
024	7		\|a 10.1007/978-3-642-33314-9 \|2 doi
024	3		\|a 9783642333132
028	5	2	\|a Best.-Nr.: 86157090
035			\|a (OCoLC)839976474
035			\|a (DE-599)BVBBV040535668
040			\|a DE-604 \|b ger \|e rakddb
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-473 \|a DE-20 \|a DE-91 \|a DE-739 \|a DE-384 \|a DE-M347 \|a DE-703 \|a DE-19 \|a DE-355 \|a DE-92 \|a DE-Aug4 \|a DE-859 \|a DE-634 \|a DE-706
082	0		\|a 005.101511324 \|2 22/ger
084			\|a MAT 155f \|2 stub
084			\|a 004 \|2 sdnb
084			\|a DAT 555f \|2 stub
084			\|a DAT 706f \|2 stub
084			\|a DAT 000 \|2 stub
084			\|a DAT 325f \|2 stub
245	1	0	\|a Relational and algebraic methods in computer science \|b 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings \|c Wolfram Kahl ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2012
300			\|a 1 Online-Ressource (XII, 356 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 7560
650	0	7	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Kleene-Algebra \|0 (DE-588)4785751-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Relationenalgebra \|0 (DE-588)4206494-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Isabelle \|g Programm \|0 (DE-588)4353452-1 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a HOL \|0 (DE-588)4335765-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Algebraische Methode \|0 (DE-588)4141841-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2012 \|z Cambridge \|2 gnd-content
689	0	0	\|a Relationenalgebra \|0 (DE-588)4206494-6 \|D s
689	0	1	\|a Kleene-Algebra \|0 (DE-588)4785751-1 \|D s
689	0		\|5 DE-604
689	1	0	\|a Algebraische Methode \|0 (DE-588)4141841-4 \|D s
689	1	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	1		\|5 DE-604
689	2	0	\|a Algebraische Spezifikation \|0 (DE-588)4207192-6 \|D s
689	2		\|5 DE-604
689	3	0	\|a HOL \|0 (DE-588)4335765-9 \|D s
689	3	1	\|a Isabelle \|g Programm \|0 (DE-588)4353452-1 \|D s
689	3	2	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	3		\|5 DE-604
700	1		\|a Kahl, Wolfram \|e Sonstige \|0 (DE-588)1026341213 \|4 oth
711	2		\|a RAMiCS \|n 13 \|d 2012 \|c Cambridge \|j Sonstige \|0 (DE-588)1026341302 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-33313-2
830		0	\|a Lecture Notes in Computer Science \|v 7560 \|w (DE-604)BV014880109 \|9 7560
856	4	0	\|u https://doi.org/10.1007/978-3-642-33314-9 \|x Verlag \|3 Volltext
912			\|a ZDB-2-LNC
912			\|a ZDB-2-SCS
943	1		\|a oai:aleph.bib-bvb.de:BVB01-025381671

Datensatz im Suchindex

_version_	1820875433492611072
adam_text
any_adam_object
author_GND	(DE-588)1026341213
building	Verbundindex
bvnumber	BV040535668
classification_rvk	SS 4800
classification_tum	MAT 155f DAT 555f DAT 706f DAT 000 DAT 325f
collection	ZDB-2-LNC ZDB-2-SCS
ctrlnum	(OCoLC)839976474 (DE-599)BVBBV040535668
dewey-full	005.101511324
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.101511324
dewey-search	005.101511324
dewey-sort	15.101511324
dewey-tens	000 - Computer science, information, general works
discipline	Informatik Mathematik
doi_str_mv	10.1007/978-3-642-33314-9
format	Electronic Conference Proceeding 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">BV040535668</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130115</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">121112s2012 gw d\|\|\| o\|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N34</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642333149</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-642-33314-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642333133</subfield><subfield code="9">3-642-33313-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-642-33314-9</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642333132</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86157090</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)839976474</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040535668</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-473</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.101511324</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 155f</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="084" ind1=" " ind2=" "><subfield code="a">DAT 555f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Relational and algebraic methods in computer science</subfield><subfield code="b">13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings</subfield><subfield code="c">Wolfram Kahl ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 356 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">7560</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Isabelle</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4353452-1</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">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Cambridge</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Relationenalgebra</subfield><subfield code="0">(DE-588)4206494-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Kleene-Algebra</subfield><subfield code="0">(DE-588)4785751-1</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">Algebraische Methode</subfield><subfield code="0">(DE-588)4141841-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">Algebraische Spezifikation</subfield><subfield code="0">(DE-588)4207192-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">HOL</subfield><subfield code="0">(DE-588)4335765-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="1"><subfield code="a">Isabelle</subfield><subfield code="g">Programm</subfield><subfield code="0">(DE-588)4353452-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kahl, Wolfram</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026341213</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">RAMiCS</subfield><subfield code="n">13</subfield><subfield code="d">2012</subfield><subfield code="c">Cambridge</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1026341302</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, Paperback</subfield><subfield code="z">978-3-642-33313-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7560</subfield><subfield code="w">(DE-604)BV014880109</subfield><subfield code="9">7560</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-642-33314-9</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-LNC</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025381671</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2012 Cambridge gnd-content
genre_facet	Konferenzschrift 2012 Cambridge
id	DE-604.BV040535668
illustrated	Illustrated
indexdate	2025-01-10T15:15:34Z
institution	BVB
institution_GND	(DE-588)1026341302
isbn	9783642333149 3642333133
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-025381671
oclc_num	839976474
open_access_boolean
owner	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 DE-706
owner_facet	DE-473 DE-BY-UBG DE-20 DE-91 DE-BY-TUM DE-739 DE-384 DE-M347 DE-703 DE-19 DE-BY-UBM DE-355 DE-BY-UBR DE-92 DE-Aug4 DE-859 DE-634 DE-706
physical	1 Online-Ressource (XII, 356 S.) graph. Darst.
psigel	ZDB-2-LNC ZDB-2-SCS
publishDate	2012
publishDateSearch	2012
publishDateSort	2012
publisher	Springer
record_format	marc
series	Lecture Notes in Computer Science
series2	Lecture Notes in Computer Science
spelling	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.) Berlin [u.a.] Springer 2012 1 Online-Ressource (XII, 356 S.) graph. Darst. txt rdacontent c rdamedia cr rdacarrier Lecture Notes in Computer Science 7560 Algebraische Spezifikation (DE-588)4207192-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Kleene-Algebra (DE-588)4785751-1 gnd rswk-swf Relationenalgebra (DE-588)4206494-6 gnd rswk-swf Isabelle Programm (DE-588)4353452-1 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf HOL (DE-588)4335765-9 gnd rswk-swf Algebraische Methode (DE-588)4141841-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Cambridge gnd-content Relationenalgebra (DE-588)4206494-6 s Kleene-Algebra (DE-588)4785751-1 s DE-604 Algebraische Methode (DE-588)4141841-4 s Mathematische Logik (DE-588)4037951-6 s Algebraische Spezifikation (DE-588)4207192-6 s HOL (DE-588)4335765-9 s Isabelle Programm (DE-588)4353452-1 s Programmverifikation (DE-588)4135576-3 s Kahl, Wolfram Sonstige (DE-588)1026341213 oth RAMiCS 13 2012 Cambridge Sonstige (DE-588)1026341302 oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-33313-2 Lecture Notes in Computer Science 7560 (DE-604)BV014880109 7560 https://doi.org/10.1007/978-3-642-33314-9 Verlag Volltext
spellingShingle	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Lecture Notes in Computer Science Algebraische Spezifikation (DE-588)4207192-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Isabelle Programm (DE-588)4353452-1 gnd Programmverifikation (DE-588)4135576-3 gnd HOL (DE-588)4335765-9 gnd Algebraische Methode (DE-588)4141841-4 gnd
subject_GND	(DE-588)4207192-6 (DE-588)4037951-6 (DE-588)4785751-1 (DE-588)4206494-6 (DE-588)4353452-1 (DE-588)4135576-3 (DE-588)4335765-9 (DE-588)4141841-4 (DE-588)1071861417
title	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings
title_auth	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings
title_exact_search	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings
title_full	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.)
title_fullStr	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.)
title_full_unstemmed	Relational and algebraic methods in computer science 13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings Wolfram Kahl ... (eds.)
title_short	Relational and algebraic methods in computer science
title_sort	relational and algebraic methods in computer science 13th international conference ramics 2012 cambridge uk september 17 20 2012 proceedings
title_sub	13th international conference, RAMiCS 2012, Cambridge, UK, September 17 - 20, 2012 ; proceedings
topic	Algebraische Spezifikation (DE-588)4207192-6 gnd Mathematische Logik (DE-588)4037951-6 gnd Kleene-Algebra (DE-588)4785751-1 gnd Relationenalgebra (DE-588)4206494-6 gnd Isabelle Programm (DE-588)4353452-1 gnd Programmverifikation (DE-588)4135576-3 gnd HOL (DE-588)4335765-9 gnd Algebraische Methode (DE-588)4141841-4 gnd
topic_facet	Algebraische Spezifikation Mathematische Logik Kleene-Algebra Relationenalgebra Isabelle Programm Programmverifikation HOL Algebraische Methode Konferenzschrift 2012 Cambridge
url	https://doi.org/10.1007/978-3-642-33314-9
volume_link	(DE-604)BV014880109
work_keys_str_mv	AT kahlwolfram relationalandalgebraicmethodsincomputerscience13thinternationalconferenceramics2012cambridgeukseptember17202012proceedings AT ramicscambridge relationalandalgebraicmethodsincomputerscience13thinternationalconferenceramics2012cambridgeukseptember17202012proceedings

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