Verfügbarkeit: Foundations of software science and computation structures

Foundations of software science and computation structures: 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere beteiligte Personen:	Baier, Christel (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	Englisch
Veröffentlicht:	Cham Springer [2018]
Schriftenreihe:	Lecture notes in computer science 10803
Schlagwörter:	Formale Methode Theoretische Informatik Mathematische Logik Programmierlogik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift
Umfang:	XV, 582 Seiten Diagramme
ISBN:	9783319893655

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV044922873
003	DE-604
007	t\|
008	180426s2018 xx \|\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783319893655 \|c print \|9 978-3-319-89365-5
035			\|a (OCoLC)1032686484
035			\|a (DE-599)BVBBV044922873
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-83
111	2		\|a ETAPS \|n 21. \|d 2018 \|c Thessaloniki \|0 (DE-588)115647065X \|4 oth
245	1	0	\|a Foundations of software science and computation structures \|b 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings \|c Christel Baier, Ugo Dal Lago (eds.)
264		1	\|a Cham \|b Springer \|c [2018]
300			\|a XV, 582 Seiten \|b Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 10803
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|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 Programmierlogik \|0 (DE-588)4047408-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Software Engineering \|0 (DE-588)4116521-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarewissenschaft \|0 (DE-588)4502639-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	0	1	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	0	2	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	0	3	\|a Programmierlogik \|0 (DE-588)4047408-2 \|D s
689	0	4	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0	5	\|a Softwarewissenschaft \|0 (DE-588)4502639-7 \|D s
689	0	6	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|8 1\p \|5 DE-604
689	1	0	\|a Software Engineering \|0 (DE-588)4116521-4 \|D s
689	1	1	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	1		\|8 2\p \|5 DE-604
700	1		\|a Baier, Christel \|0 (DE-588)12400301X \|4 edt
711	2		\|a FOSSACS \|n 21. \|d 2018 \|c Thessaloniki \|0 (DE-588)1156758556 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-319-89366-2
830		0	\|a Lecture notes in computer science \|v 10803 \|w (DE-604)BV000000607 \|9 10803
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
943	1		\|a oai:aleph.bib-bvb.de:BVB01-030316119

Datensatz im Suchindex

_version_	1820980695435051008
adam_text
any_adam_object
author2	Baier, Christel
author2_role	edt
author2_variant	c b cb
author_GND	(DE-588)12400301X
author_facet	Baier, Christel
building	Verbundindex
bvnumber	BV044922873
classification_rvk	SS 4800
ctrlnum	(OCoLC)1032686484 (DE-599)BVBBV044922873
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">BV044922873</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">180426s2018 xx \|\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319893655</subfield><subfield code="c">print</subfield><subfield code="9">978-3-319-89365-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1032686484</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044922873</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">21.</subfield><subfield code="d">2018</subfield><subfield code="c">Thessaloniki</subfield><subfield code="0">(DE-588)115647065X</subfield><subfield code="4">oth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings</subfield><subfield code="c">Christel Baier, Ugo Dal Lago (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XV, 582 Seiten</subfield><subfield code="b">Diagramme</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">10803</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">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</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">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-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="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmierlogik</subfield><subfield code="0">(DE-588)4047408-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Formale Methode</subfield><subfield code="0">(DE-588)4333722-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Softwarewissenschaft</subfield><subfield code="0">(DE-588)4502639-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Software Engineering</subfield><subfield code="0">(DE-588)4116521-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Programmierung</subfield><subfield code="0">(DE-588)4076370-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baier, Christel</subfield><subfield code="0">(DE-588)12400301X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">FOSSACS</subfield><subfield code="n">21.</subfield><subfield code="d">2018</subfield><subfield code="c">Thessaloniki</subfield><subfield code="0">(DE-588)1156758556</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-89366-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10803</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10803</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030316119</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV044922873
illustrated	Not Illustrated
indexdate	2025-01-11T19:08:39Z
institution	BVB
institution_GND	(DE-588)115647065X (DE-588)1156758556
isbn	9783319893655
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030316119
oclc_num	1032686484
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	XV, 582 Seiten Diagramme
publishDate	2018
publishDateSearch	2018
publishDateSort	2018
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	ETAPS 21. 2018 Thessaloniki (DE-588)115647065X oth Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.) Cham Springer [2018] XV, 582 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10803 Formale Methode (DE-588)4333722-3 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Programmierlogik (DE-588)4047408-2 gnd rswk-swf Software Engineering (DE-588)4116521-4 gnd rswk-swf Softwarewissenschaft (DE-588)4502639-7 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Theoretische Informatik (DE-588)4196735-5 s Software Engineering (DE-588)4116521-4 s Programmiersprache (DE-588)4047409-4 s Programmierlogik (DE-588)4047408-2 s Formale Methode (DE-588)4333722-3 s Softwarewissenschaft (DE-588)4502639-7 s Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Programmierung (DE-588)4076370-5 s 2\p DE-604 Baier, Christel (DE-588)12400301X edt FOSSACS 21. 2018 Thessaloniki (DE-588)1156758556 oth Erscheint auch als Online-Ausgabe 978-3-319-89366-2 Lecture notes in computer science 10803 (DE-604)BV000000607 10803 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	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Lecture notes in computer science Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4333722-3 (DE-588)4196735-5 (DE-588)4037951-6 (DE-588)4047408-2 (DE-588)4116521-4 (DE-588)4502639-7 (DE-588)4076370-5 (DE-588)4047409-4 (DE-588)1071861417
title	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings
title_auth	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings
title_exact_search	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings
title_full	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.)
title_fullStr	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.)
title_full_unstemmed	Foundations of software science and computation structures 21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings Christel Baier, Ugo Dal Lago (eds.)
title_short	Foundations of software science and computation structures
title_sort	foundations of software science and computation structures 21st international conference fossacs 2018 held as part of the european joint conferences on theory and practice of software etaps 2018 thessaloniki greece april 14 20 2018 proceedings
title_sub	21st international conference FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018 Thessaloniki, Greece, April 14-20, 2018 : proceedings
topic	Formale Methode (DE-588)4333722-3 gnd Theoretische Informatik (DE-588)4196735-5 gnd Mathematische Logik (DE-588)4037951-6 gnd Programmierlogik (DE-588)4047408-2 gnd Software Engineering (DE-588)4116521-4 gnd Softwarewissenschaft (DE-588)4502639-7 gnd Programmierung (DE-588)4076370-5 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Formale Methode Theoretische Informatik Mathematische Logik Programmierlogik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT etapsthessaloniki foundationsofsoftwarescienceandcomputationstructures21stinternationalconferencefossacs2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedings AT baierchristel foundationsofsoftwarescienceandcomputationstructures21stinternationalconferencefossacs2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedings AT fossacsthessaloniki foundationsofsoftwarescienceandcomputationstructures21stinternationalconferencefossacs2018heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2018thessalonikigreeceapril14202018proceedings

Verfügbarkeit

MARC

Datensatz im Suchindex

‌