Holdings: Tools and algorithms for the construction and analysis of systems

Tools and algorithms for the construction and analysis of systems: 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings

Saved in:

Bibliographic Details
Other Authors:	Chechik, Marsha (Editor)
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin Springer [2016] 2016
Series:	Lecture notes in computer science. Advanced research in computing and software science 9636
Subjects:	Theoretische Informatik Entscheidungsverfahren Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Softwarespezifikation Systemanalyse Programmiersprache UM Applications Computer Science Conference Proceedings Informatics Research Konferenzschrift
Online Access:	http://www.springer.com/ Inhaltstext
Physical Description:	XIX, 961 Seiten Illustrationen, Diagramme
ISBN:	3662496739 9783662496732

Staff View

MARC


LEADER	00000nam a22000008cb4500
001	BV043525970
003	DE-604
007	t\|
008	160425s2016 gw a\|\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 16,N07 \|2 dnb
016	7		\|a 1082360821 \|2 DE-101
020			\|a 3662496739 \|9 3-662-49673-9
020			\|a 9783662496732 \|9 978-3-662-49673-2
035			\|a (OCoLC)939672936
035			\|a (DE-599)DNB1082360821
040			\|a DE-604 \|b ger
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-83
082	0		\|a 004 \|2 23
084			\|a 004 \|2 sdnb
245	1	0	\|a Tools and algorithms for the construction and analysis of systems \|b 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings \|c Marsha Chechik, Jean-François Raskin (eds.)
264		1	\|a Berlin \|b Springer \|c [2016]
264		1	\|c 2016
300			\|a XIX, 961 Seiten \|b Illustrationen, Diagramme
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science. Advanced research in computing and software science \|v 9636
650	0	7	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmierung \|0 (DE-588)4076370-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwicklung \|0 (DE-588)4126945-7 \|2 gnd \|9 rswk-swf
650	0	7	\|a Model Checking \|0 (DE-588)4434799-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systemanalyse \|0 (DE-588)4116673-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmiersprache \|0 (DE-588)4047409-4 \|2 gnd \|9 rswk-swf
653			\|a UM
653			\|a Applications
653			\|a Computer Science
653			\|a Conference Proceedings
653			\|a Informatics
653			\|a Research
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	0	2	\|a Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	0	3	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	4	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	0	5	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	0	6	\|a Softwarespezifikation \|0 (DE-588)4056186-0 \|D s
689	0		\|5 DE-604
689	1	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	1	1	\|a Systementwicklung \|0 (DE-588)4126945-7 \|D s
689	1	2	\|a Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	1	3	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	1	4	\|a Hardwareverifikation \|0 (DE-588)4214982-4 \|D s
689	1	5	\|a Model Checking \|0 (DE-588)4434799-6 \|D s
689	1	6	\|a Entscheidungsverfahren \|0 (DE-588)4637781-5 \|D s
689	1		\|8 1\p \|5 DE-604
689	2	0	\|a Programmiersprache \|0 (DE-588)4047409-4 \|D s
689	2	1	\|a Programmierung \|0 (DE-588)4076370-5 \|D s
689	2	2	\|a Theoretische Informatik \|0 (DE-588)4196735-5 \|D s
689	2		\|8 2\p \|5 DE-604
700	1		\|a Chechik, Marsha \|4 edt
710	2		\|a tacas 22. \|e Sonstige \|4 oth
710	2		\|a Springer-Verlag GmbH \|0 (DE-588)1065168780 \|4 pbl
711	2		\|a ETAPS \|n 19. \|d 2016 \|c Eindhoven \|0 (DE-588)1096357844 \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-662-49674-9
830		0	\|a Lecture notes in computer science. Advanced research in computing and software science \|v 9636 \|w (DE-604)BV000000607 \|9 9636
856	4	0	\|u http://www.springer.com/ \|x Verlag
856	4	2	\|m X:MVB \|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=290ea045731f458a96cf87bc7945bf0d&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
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-028941775

Record in the Search Index

_version_	1820875687324549120
adam_text
any_adam_object
author2	Chechik, Marsha
author2_role	edt
author2_variant	m c mc
author_facet	Chechik, Marsha
building	Verbundindex
bvnumber	BV043525970
classification_rvk	SS 4800
ctrlnum	(OCoLC)939672936 (DE-599)DNB1082360821
dewey-full	004
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	004 - Computer science
dewey-raw	004
dewey-search	004
dewey-sort	14
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 a22000008cb4500</leader><controlfield tag="001">BV043525970</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">160425s2016 gw a\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">16,N07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1082360821</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662496739</subfield><subfield code="9">3-662-49673-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662496732</subfield><subfield code="9">978-3-662-49673-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)939672936</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1082360821</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</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-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004</subfield><subfield code="2">23</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">Tools and algorithms for the construction and analysis of systems</subfield><subfield code="b">22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings</subfield><subfield code="c">Marsha Chechik, Jean-François Raskin (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIX, 961 Seiten</subfield><subfield code="b">Illustrationen, 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. Advanced research in computing and software science</subfield><subfield code="v">9636</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">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</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">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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-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="653" ind1=" " ind2=" "><subfield code="a">UM</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Applications</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Computer Science</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Conference Proceedings</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Informatics</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="6"><subfield code="a">Softwarespezifikation</subfield><subfield code="0">(DE-588)4056186-0</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">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><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="4"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="5"><subfield code="a">Model Checking</subfield><subfield code="0">(DE-588)4434799-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="6"><subfield code="a">Entscheidungsverfahren</subfield><subfield code="0">(DE-588)4637781-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Programmiersprache</subfield><subfield code="0">(DE-588)4047409-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" 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="2" ind2="2"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Chechik, Marsha</subfield><subfield code="4">edt</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">tacas 22.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">Springer-Verlag GmbH</subfield><subfield code="0">(DE-588)1065168780</subfield><subfield code="4">pbl</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ETAPS</subfield><subfield code="n">19.</subfield><subfield code="d">2016</subfield><subfield code="c">Eindhoven</subfield><subfield code="0">(DE-588)1096357844</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-662-49674-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science. Advanced research in computing and software science</subfield><subfield code="v">9636</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">9636</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.springer.com/</subfield><subfield code="x">Verlag</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=290ea045731f458a96cf87bc7945bf0d&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</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-028941775</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift gnd-content
genre_facet	Konferenzschrift
id	DE-604.BV043525970
illustrated	Illustrated
indexdate	2025-01-10T15:19:36Z
institution	BVB
institution_GND	(DE-588)1065168780 (DE-588)1096357844
isbn	3662496739 9783662496732
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-028941775
oclc_num	939672936
open_access_boolean
owner	DE-83
owner_facet	DE-83
physical	XIX, 961 Seiten Illustrationen, Diagramme
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Lecture notes in computer science. Advanced research in computing and software science
series2	Lecture notes in computer science. Advanced research in computing and software science
spelling	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Marsha Chechik, Jean-François Raskin (eds.) Berlin Springer [2016] 2016 XIX, 961 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science. Advanced research in computing and software science 9636 Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Entscheidungsverfahren (DE-588)4637781-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Programmierung (DE-588)4076370-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Model Checking (DE-588)4434799-6 gnd rswk-swf Softwarespezifikation (DE-588)4056186-0 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf Programmiersprache (DE-588)4047409-4 gnd rswk-swf UM Applications Computer Science Conference Proceedings Informatics Research (DE-588)1071861417 Konferenzschrift gnd-content Softwareentwicklung (DE-588)4116522-6 s Systementwicklung (DE-588)4126945-7 s Systemanalyse (DE-588)4116673-5 s Programmverifikation (DE-588)4135576-3 s Hardwareverifikation (DE-588)4214982-4 s Model Checking (DE-588)4434799-6 s Softwarespezifikation (DE-588)4056186-0 s DE-604 Entscheidungsverfahren (DE-588)4637781-5 s 1\p DE-604 Programmiersprache (DE-588)4047409-4 s Programmierung (DE-588)4076370-5 s Theoretische Informatik (DE-588)4196735-5 s 2\p DE-604 Chechik, Marsha edt tacas 22. Sonstige oth Springer-Verlag GmbH (DE-588)1065168780 pbl ETAPS 19. 2016 Eindhoven (DE-588)1096357844 oth Erscheint auch als Online-Ausgabe 978-3-662-49674-9 Lecture notes in computer science. Advanced research in computing and software science 9636 (DE-604)BV000000607 9636 http://www.springer.com/ Verlag X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=290ea045731f458a96cf87bc7945bf0d&prov=M&dok_var=1&dok_ext=htm Inhaltstext 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	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Lecture notes in computer science. Advanced research in computing and software science Theoretische Informatik (DE-588)4196735-5 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Systemanalyse (DE-588)4116673-5 gnd Programmiersprache (DE-588)4047409-4 gnd
subject_GND	(DE-588)4196735-5 (DE-588)4637781-5 (DE-588)4135576-3 (DE-588)4076370-5 (DE-588)4116522-6 (DE-588)4214982-4 (DE-588)4126945-7 (DE-588)4434799-6 (DE-588)4056186-0 (DE-588)4116673-5 (DE-588)4047409-4 (DE-588)1071861417
title	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_auth	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_exact_search	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
title_full	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Marsha Chechik, Jean-François Raskin (eds.)
title_fullStr	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Marsha Chechik, Jean-François Raskin (eds.)
title_full_unstemmed	Tools and algorithms for the construction and analysis of systems 22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings Marsha Chechik, Jean-François Raskin (eds.)
title_short	Tools and algorithms for the construction and analysis of systems
title_sort	tools and algorithms for the construction and analysis of systems 22nd international conference tacas 2016 held as part of the european joint conferences on theory and practice of software etaps 2016 eindhoven the netherlands april 2 8 2016 proceedings
title_sub	22nd international conference, TACAS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings
topic	Theoretische Informatik (DE-588)4196735-5 gnd Entscheidungsverfahren (DE-588)4637781-5 gnd Programmverifikation (DE-588)4135576-3 gnd Programmierung (DE-588)4076370-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Hardwareverifikation (DE-588)4214982-4 gnd Systementwicklung (DE-588)4126945-7 gnd Model Checking (DE-588)4434799-6 gnd Softwarespezifikation (DE-588)4056186-0 gnd Systemanalyse (DE-588)4116673-5 gnd Programmiersprache (DE-588)4047409-4 gnd
topic_facet	Theoretische Informatik Entscheidungsverfahren Programmverifikation Programmierung Softwareentwicklung Hardwareverifikation Systementwicklung Model Checking Softwarespezifikation Systemanalyse Programmiersprache Konferenzschrift
url	http://www.springer.com/ http://deposit.dnb.de/cgi-bin/dokserv?id=290ea045731f458a96cf87bc7945bf0d&prov=M&dok_var=1&dok_ext=htm
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT chechikmarsha toolsandalgorithmsfortheconstructionandanalysisofsystems22ndinternationalconferencetacas2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT tacas22 toolsandalgorithmsfortheconstructionandanalysisofsystems22ndinternationalconferencetacas2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT springerverlaggmbh toolsandalgorithmsfortheconstructionandanalysisofsystems22ndinternationalconferencetacas2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings AT etapseindhoven toolsandalgorithmsfortheconstructionandanalysisofsystems22ndinternationalconferencetacas2016heldaspartoftheeuropeanjointconferencesontheoryandpracticeofsoftwareetaps2016eindhoventhenetherlandsapril282016proceedings

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Description

MARC

Record in the Search Index

There is no print copy available.

Similar Items