Verfügbarkeit: Verification, induction, termination analysis

Verification, induction, termination analysis: Festschrift for Christoph Walther on the occasion of his 60th birthday

Gespeichert in:

Bibliographische Detailangaben
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Springer 2010
Schriftenreihe:	Lecture notes in computer science 6463 Lecture notes in computer science
Schlagworte:	Functional programming (Computer science) Computer programs / Verification Computer logic Formale Methode Induktionsbeweis Programmanalyse Terminierung > Informatik Programmverifikation Automatisches Beweisverfahren Verifikation Festschrift Konferenzschrift > 2010 > Darmstadt
Online-Zugang:	Volltext
Beschreibung:	Includes bibliographical references and index
Beschreibung:	1 Online-Ressource (143 p.)
ISBN:	9781280390395

Internformat

MARC


LEADER	00000nam a2200000zcb4500
001	BV041910695
003	DE-604
007	cr\|uuu---uuuuu
008	140612s2010 xx o\|\|\|\| 00\|\|\| eng d
020			\|a 9781280390395 \|c MyiLibrary \|9 978-1-280-39039-5
035			\|a (OCoLC)817075667
035			\|a (DE-599)BVBBV041910695
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
082	0		\|a 005.1/14 \|2 23
245	1	0	\|a Verification, induction, termination analysis \|b Festschrift for Christoph Walther on the occasion of his 60th birthday \|c Simon Siegler, Nathan Wasser (eds.)
264		1	\|a Berlin \|b Springer \|c 2010
300			\|a 1 Online-Ressource (143 p.)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Lecture notes in computer science \|v 6463
490	0		\|a Lecture notes in computer science
500			\|a Includes bibliographical references and index
650		4	\|a Functional programming (Computer science)
650		4	\|a Computer programs / Verification
650		4	\|a Computer logic
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Induktionsbeweis \|0 (DE-588)4222014-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Terminierung \|g Informatik \|0 (DE-588)4242777-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-5 \|2 gnd \|9 rswk-swf
655		7	\|8 1\p \|0 (DE-588)4016928-5 \|a Festschrift \|2 gnd-content
655		7	\|8 2\p \|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Darmstadt \|2 gnd-content
689	0	0	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	0	1	\|a Induktionsbeweis \|0 (DE-588)4222014-2 \|D s
689	0	2	\|a Automatisches Beweisverfahren \|0 (DE-588)4069034-9 \|D s
689	0	3	\|a Terminierung \|g Informatik \|0 (DE-588)4242777-0 \|D s
689	0		\|8 3\p \|5 DE-604
689	1	0	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	1	2	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|8 4\p \|5 DE-604
700	1		\|a Walther, Christoph \|e Sonstige \|4 oth
700	1		\|a Siegler, Simon \|e Sonstige \|4 oth
700	1		\|a Wasser, Nathan \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 978-3-642-17171-0
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe, Paperback \|z 3-642-17171-0
856	4	0	\|u http://lib.myilibrary.com?id=356831 \|x Aggregator \|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
883	1		\|8 3\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
883	1		\|8 4\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
912			\|a ZDB-26-MYL
943	1		\|a oai:aleph.bib-bvb.de:BVB01-027354365

Datensatz im Suchindex

_version_	1820875573051785216
adam_text
any_adam_object
building	Verbundindex
bvnumber	BV041910695
classification_rvk	SS 4800
collection	ZDB-26-MYL
ctrlnum	(OCoLC)817075667 (DE-599)BVBBV041910695
dewey-full	005.1/14
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1/14
dewey-search	005.1/14
dewey-sort	15.1 214
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV041910695</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">140612s2010 xx o\|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280390395</subfield><subfield code="c">MyiLibrary</subfield><subfield code="9">978-1-280-39039-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)817075667</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV041910695</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/14</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification, induction, termination analysis</subfield><subfield code="b">Festschrift for Christoph Walther on the occasion of his 60th birthday</subfield><subfield code="c">Simon Siegler, Nathan Wasser (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (143 p.)</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="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6463</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Lecture notes in computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Functional programming (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer programs / Verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Terminierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4242777-0</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">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</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)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2010</subfield><subfield code="z">Darmstadt</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Induktionsbeweis</subfield><subfield code="0">(DE-588)4222014-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Terminierung</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4242777-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Walther, Christoph</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Siegler, Simon</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Wasser, Nathan</subfield><subfield code="e">Sonstige</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-17171-0</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">3-642-17171-0</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://lib.myilibrary.com?id=356831</subfield><subfield code="x">Aggregator</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="883" ind1="1" ind2=" "><subfield code="8">3\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">4\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-26-MYL</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027354365</subfield></datafield></record></collection>
genre	1\p (DE-588)4016928-5 Festschrift gnd-content 2\p (DE-588)1071861417 Konferenzschrift 2010 Darmstadt gnd-content
genre_facet	Festschrift Konferenzschrift 2010 Darmstadt
id	DE-604.BV041910695
illustrated	Not Illustrated
indexdate	2025-01-10T15:17:47Z
institution	BVB
isbn	9781280390395
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-027354365
oclc_num	817075667
open_access_boolean
physical	1 Online-Ressource (143 p.)
psigel	ZDB-26-MYL
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series2	Lecture notes in computer science
spelling	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday Simon Siegler, Nathan Wasser (eds.) Berlin Springer 2010 1 Online-Ressource (143 p.) txt rdacontent c rdamedia cr rdacarrier Lecture notes in computer science 6463 Lecture notes in computer science Includes bibliographical references and index Functional programming (Computer science) Computer programs / Verification Computer logic Formale Methode (DE-588)4333722-3 gnd rswk-swf Induktionsbeweis (DE-588)4222014-2 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Terminierung Informatik (DE-588)4242777-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf 1\p (DE-588)4016928-5 Festschrift gnd-content 2\p (DE-588)1071861417 Konferenzschrift 2010 Darmstadt gnd-content Verifikation (DE-588)4135577-5 s Induktionsbeweis (DE-588)4222014-2 s Automatisches Beweisverfahren (DE-588)4069034-9 s Terminierung Informatik (DE-588)4242777-0 s 3\p DE-604 Programmverifikation (DE-588)4135576-3 s Programmanalyse (DE-588)4175841-9 s Formale Methode (DE-588)4333722-3 s 4\p DE-604 Walther, Christoph Sonstige oth Siegler, Simon Sonstige oth Wasser, Nathan Sonstige oth Erscheint auch als Druck-Ausgabe, Paperback 978-3-642-17171-0 Erscheint auch als Druck-Ausgabe, Paperback 3-642-17171-0 http://lib.myilibrary.com?id=356831 Aggregator 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 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday Functional programming (Computer science) Computer programs / Verification Computer logic Formale Methode (DE-588)4333722-3 gnd Induktionsbeweis (DE-588)4222014-2 gnd Programmanalyse (DE-588)4175841-9 gnd Terminierung Informatik (DE-588)4242777-0 gnd Programmverifikation (DE-588)4135576-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Verifikation (DE-588)4135577-5 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4222014-2 (DE-588)4175841-9 (DE-588)4242777-0 (DE-588)4135576-3 (DE-588)4069034-9 (DE-588)4135577-5 (DE-588)4016928-5 (DE-588)1071861417
title	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday
title_auth	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday
title_exact_search	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday
title_full	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday Simon Siegler, Nathan Wasser (eds.)
title_fullStr	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday Simon Siegler, Nathan Wasser (eds.)
title_full_unstemmed	Verification, induction, termination analysis Festschrift for Christoph Walther on the occasion of his 60th birthday Simon Siegler, Nathan Wasser (eds.)
title_short	Verification, induction, termination analysis
title_sort	verification induction termination analysis festschrift for christoph walther on the occasion of his 60th birthday
title_sub	Festschrift for Christoph Walther on the occasion of his 60th birthday
topic	Functional programming (Computer science) Computer programs / Verification Computer logic Formale Methode (DE-588)4333722-3 gnd Induktionsbeweis (DE-588)4222014-2 gnd Programmanalyse (DE-588)4175841-9 gnd Terminierung Informatik (DE-588)4242777-0 gnd Programmverifikation (DE-588)4135576-3 gnd Automatisches Beweisverfahren (DE-588)4069034-9 gnd Verifikation (DE-588)4135577-5 gnd
topic_facet	Functional programming (Computer science) Computer programs / Verification Computer logic Formale Methode Induktionsbeweis Programmanalyse Terminierung Informatik Programmverifikation Automatisches Beweisverfahren Verifikation Festschrift Konferenzschrift 2010 Darmstadt
url	http://lib.myilibrary.com?id=356831
work_keys_str_mv	AT waltherchristoph verificationinductionterminationanalysisfestschriftforchristophwaltherontheoccasionofhis60thbirthday AT sieglersimon verificationinductionterminationanalysisfestschriftforchristophwaltherontheoccasionofhis60thbirthday AT wassernathan verificationinductionterminationanalysisfestschriftforchristophwaltherontheoccasionofhis60thbirthday

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