Holdings: Foundations of software science and computation structures

Foundations of software science and computation structures: 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings

Saved in:

Bibliographic Details
Corporate Author:	FOSSACS Prag (Author)
Other Authors:	Bojańczyk, Mikołaj (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Cham Springer [2019]
Series:	Lecture notes in computer science 11425 : Advanced research in computing and software science
Subjects:	Formale Methode Theoretische Informatik Mathematische Logik Programmierlogik Software Engineering Softwarewissenschaft Programmierung Programmiersprache Konferenzschrift > 2019 > Prag
Physical Description:	xv, 542 Seiten Diagramme
ISBN:	9783030171261

Staff View

MARC


LEADER	00000nam a2200000 cb4500
001	BV045678292
003	DE-604
005	20200407
007	t\|
008	190429s2019 xx \|\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783030171261 \|9 978-3-030-17126-1
035			\|a (OCoLC)1099894729
035			\|a (DE-599)BVBBV045678292
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-83
111	2		\|a FOSSACS \|n 22. \|d 2019 \|c Prag \|j Verfasser \|0 (DE-588)1184831246 \|4 aut
245	1	0	\|a Foundations of software science and computation structures \|b 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings \|c Mikołaj Bojańczyk, Alex Simpson (eds.)
264		1	\|a Cham \|b Springer \|c [2019]
300			\|a xv, 542 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 11425 \|a Advanced research in computing and software science
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 \|y 2019 \|z Prag \|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 Bojańczyk, Mikołaj \|0 (DE-588)1207878901 \|4 edt
711	2		\|a ETAPS \|n 22. \|d 2019 \|c Prag \|0 (DE-588)1183926626 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-030-17127-8 \|w (DE-604)BV045860457
830		0	\|a Lecture notes in computer science \|v 11425 : Advanced research in computing and software science \|w (DE-604)BV000000607 \|9 11425
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-031061812

Record in the Search Index

_version_	1820875741228695552
adam_text
any_adam_object
author2	Bojańczyk, Mikołaj
author2_role	edt
author2_variant	m b mb
author_GND	(DE-588)1207878901
author_corporate	FOSSACS Prag
author_corporate_role	aut
author_facet	Bojańczyk, Mikołaj FOSSACS Prag
author_sort	FOSSACS Prag
building	Verbundindex
bvnumber	BV045678292
classification_rvk	SS 4800
ctrlnum	(OCoLC)1099894729 (DE-599)BVBBV045678292
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">BV045678292</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200407</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">190429s2019 xx \|\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030171261</subfield><subfield code="9">978-3-030-17126-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1099894729</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045678292</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">FOSSACS</subfield><subfield code="n">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1184831246</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Foundations of software science and computation structures</subfield><subfield code="b">22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings</subfield><subfield code="c">Mikołaj Bojańczyk, Alex Simpson (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 542 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">11425</subfield><subfield code="a">Advanced research in computing and software science</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="y">2019</subfield><subfield code="z">Prag</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">Bojańczyk, Mikołaj</subfield><subfield code="0">(DE-588)1207878901</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">22.</subfield><subfield code="d">2019</subfield><subfield code="c">Prag</subfield><subfield code="0">(DE-588)1183926626</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-030-17127-8</subfield><subfield code="w">(DE-604)BV045860457</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11425 : Advanced research in computing and software science</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11425</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-031061812</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2019 Prag gnd-content
genre_facet	Konferenzschrift 2019 Prag
id	DE-604.BV045678292
illustrated	Not Illustrated
indexdate	2025-01-10T15:20:27Z
institution	BVB
institution_GND	(DE-588)1184831246 (DE-588)1183926626
isbn	9783030171261
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-031061812
oclc_num	1099894729
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	xv, 542 Seiten Diagramme
publishDate	2019
publishDateSearch	2019
publishDateSort	2019
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science Advanced research in computing and software science
spelling	FOSSACS 22. 2019 Prag Verfasser (DE-588)1184831246 aut Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.) Cham Springer [2019] xv, 542 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11425 Advanced research in computing and software science 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 2019 Prag 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 Bojańczyk, Mikołaj (DE-588)1207878901 edt ETAPS 22. 2019 Prag (DE-588)1183926626 oth Erscheint auch als Online-Ausgabe 978-3-030-17127-8 (DE-604)BV045860457 Lecture notes in computer science 11425 : Advanced research in computing and software science (DE-604)BV000000607 11425 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 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : 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 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
title_auth	Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
title_exact_search	Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings
title_full	Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.)
title_fullStr	Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.)
title_full_unstemmed	Foundations of software science and computation structures 22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : proceedings Mikołaj Bojańczyk, Alex Simpson (eds.)
title_short	Foundations of software science and computation structures
title_sort	foundations of software science and computation structures 22nd international conference fossacs 2019 held as part of the european joint conferences on theory and practice of software etaps 2019 prague czech republic april 6 11 2019 proceedings
title_sub	22nd international conference FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019 : 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 2019 Prag
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT fossacsprag foundationsofsoftwarescienceandcomputationstructures22ndinternationalconferencefossacs2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings AT bojanczykmikołaj foundationsofsoftwarescienceandcomputationstructures22ndinternationalconferencefossacs2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings AT etapsprag foundationsofsoftwarescienceandcomputationstructures22ndinternationalconferencefossacs2019heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2019pragueczechrepublicapril6112019proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection!

MARC

Record in the Search Index

There is no print copy available.

Similar Items