Holdings: Tools and Methods of Program Analysis

Tools and Methods of Program Analysis: 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers

Saved in:

Bibliographic Details
Other Authors:	Kalenkova, Anna (Editor), Lozano, Jose A. (Editor), Yavorskiy, Rostislav (Editor)
Format:	Electronic eBook
Language:	English
Published:	Cham Springer International Publishing 2021 Cham Springer
Edition:	1st ed. 2021
Series:	Communications in Computer and Information Science 1288
Subjects:	Software Engineering/Programming and Operating Systems Artificial Intelligence Information Systems and Communication Service Computer Systems Organization and Communication Networks Theory of Computation Programming Languages, Compilers, Interpreters Software engineering Artificial intelligence Computers Computer organization Programming languages (Electronic computers)
Online Access:	BTU01 FCO01 FHA01 FHD01 FHI01 FHM01 FHN01 FHR01 FLA01 FRO01 FWS01 FWS02 HTW01 UBA01 UBG01 UBM01 UBT01 UBW01 UBY01 UER01 UPA01 UBR01 Volltext
Physical Description:	1 Online-Ressource (X, 209 p. 68 illus., 45 illus. in color)
ISBN:	9783030714727
ISSN:	1865-0929
DOI:	10.1007/978-3-030-71472-7

Staff View

MARC


LEADER	00000nmm a2200000zcb4500
001	BV047226399
003	DE-604
005	00000000000000.0
007	cr\|uuu---uuuuu
008	210407s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783030714727 \|c Online \|9 978-3-030-71472-7
024	7		\|a 10.1007/978-3-030-71472-7 \|2 doi
035			\|a (ZDB-2-SCS)9783030714727
035			\|a (OCoLC)1249665221
035			\|a (DE-599)BVBBV047226399
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-860 \|a DE-19 \|a DE-858 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-188 \|a DE-523 \|a DE-473 \|a DE-29 \|a DE-863 \|a DE-1050 \|a DE-20 \|a DE-862 \|a DE-92 \|a DE-384 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-706 \|a DE-739 \|a DE-634 \|a DE-355
082	0		\|a 005.1 \|2 23
245	1	0	\|a Tools and Methods of Program Analysis \|b 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers \|c edited by Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy
250			\|a 1st ed. 2021
264		1	\|a Cham \|b Springer International Publishing \|c 2021
264		1	\|a Cham \|b Springer
300			\|a 1 Online-Ressource (X, 209 p. 68 illus., 45 illus. in color)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	0		\|a Communications in Computer and Information Science \|v 1288 \|x 1865-0929
650		4	\|a Software Engineering/Programming and Operating Systems
650		4	\|a Artificial Intelligence
650		4	\|a Information Systems and Communication Service
650		4	\|a Computer Systems Organization and Communication Networks
650		4	\|a Theory of Computation
650		4	\|a Programming Languages, Compilers, Interpreters
650		4	\|a Software engineering
650		4	\|a Artificial intelligence
650		4	\|a Computers
650		4	\|a Computer organization
650		4	\|a Programming languages (Electronic computers)
700	1		\|a Kalenkova, Anna \|4 edt
700	1		\|a Lozano, Jose A. \|4 edt
700	1		\|a Yavorskiy, Rostislav \|4 edt
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-71471-0
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-030-71473-4
856	4	0	\|u https://doi.org/10.1007/978-3-030-71472-7 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2021_Fremddaten
999			\|a oai:aleph.bib-bvb.de:BVB01-032630933
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FCO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FHD01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FHR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FLA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FWS01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l FWS02 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBY01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-030-71472-7 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Record in the Search Index

DE-BY-FWS_katkey	879460
_version_	1824554854227378177
adam_txt
any_adam_object
any_adam_object_boolean
author2	Kalenkova, Anna Lozano, Jose A. Yavorskiy, Rostislav
author2_role	edt edt edt
author2_variant	a k ak j a l ja jal r y ry
author_facet	Kalenkova, Anna Lozano, Jose A. Yavorskiy, Rostislav
building	Verbundindex
bvnumber	BV047226399
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)9783030714727 (OCoLC)1249665221 (DE-599)BVBBV047226399
dewey-full	005.1
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.1
dewey-search	005.1
dewey-sort	15.1
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.1007/978-3-030-71472-7
edition	1st ed. 2021
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04369nmm a2200805zcb4500</leader><controlfield tag="001">BV047226399</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">210407s2021 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030714727</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-030-71472-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-030-71472-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)9783030714727</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1249665221</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047226399</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-860</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-858</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-1050</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Tools and Methods of Program Analysis</subfield><subfield code="b">5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers</subfield><subfield code="c">edited by Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">2021</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 209 p. 68 illus., 45 illus. in color)</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">Communications in Computer and Information Science</subfield><subfield code="v">1288</subfield><subfield code="x">1865-0929</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering/Programming and Operating Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Information Systems and Communication Service</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Systems Organization and Communication Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer organization</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kalenkova, Anna</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lozano, Jose A.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yavorskiy, Rostislav</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-71471-0</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-3-030-71473-4</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2021_Fremddaten</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032630933</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FCO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FHD01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FHM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FLA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">HTW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBG01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBM01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBT01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBW01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UER01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UPA01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-030-71472-7</subfield><subfield code="l">UBR01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection>
id	DE-604.BV047226399
illustrated	Not Illustrated
index_date	2024-07-03T16:59:16Z
indexdate	2025-02-20T06:58:23Z
institution	BVB
isbn	9783030714727
issn	1865-0929
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-032630933
oclc_num	1249665221
open_access_boolean
owner	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-355 DE-BY-UBR
owner_facet	DE-860 DE-19 DE-BY-UBM DE-858 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-188 DE-523 DE-473 DE-BY-UBG DE-29 DE-863 DE-BY-FWS DE-1050 DE-20 DE-862 DE-BY-FWS DE-92 DE-384 DE-573 DE-M347 DE-703 DE-706 DE-739 DE-634 DE-355 DE-BY-UBR
physical	1 Online-Ressource (X, 209 p. 68 illus., 45 illus. in color)
psigel	ZDB-2-SCS ZDB-2-SCS_2021_Fremddaten
publishDate	2021
publishDateSearch	2021
publishDateSort	2021
publisher	Springer International Publishing Springer
record_format	marc
series2	Communications in Computer and Information Science
spellingShingle	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers Software Engineering/Programming and Operating Systems Artificial Intelligence Information Systems and Communication Service Computer Systems Organization and Communication Networks Theory of Computation Programming Languages, Compilers, Interpreters Software engineering Artificial intelligence Computers Computer organization Programming languages (Electronic computers)
title	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
title_auth	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
title_exact_search	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
title_exact_search_txtP	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
title_full	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers edited by Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy
title_fullStr	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers edited by Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy
title_full_unstemmed	Tools and Methods of Program Analysis 5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers edited by Anna Kalenkova, Jose A. Lozano, Rostislav Yavorskiy
title_short	Tools and Methods of Program Analysis
title_sort	tools and methods of program analysis 5th international conference tmpa 2019 tbilisi georgia november 7 9 2019 revised selected papers
title_sub	5th International Conference, TMPA 2019, Tbilisi, Georgia, November 7–9, 2019, Revised Selected Papers
topic	Software Engineering/Programming and Operating Systems Artificial Intelligence Information Systems and Communication Service Computer Systems Organization and Communication Networks Theory of Computation Programming Languages, Compilers, Interpreters Software engineering Artificial intelligence Computers Computer organization Programming languages (Electronic computers)
topic_facet	Software Engineering/Programming and Operating Systems Artificial Intelligence Information Systems and Communication Service Computer Systems Organization and Communication Networks Theory of Computation Programming Languages, Compilers, Interpreters Software engineering Artificial intelligence Computers Computer organization Programming languages (Electronic computers)
url	https://doi.org/10.1007/978-3-030-71472-7
work_keys_str_mv	AT kalenkovaanna toolsandmethodsofprogramanalysis5thinternationalconferencetmpa2019tbilisigeorgianovember792019revisedselectedpapers AT lozanojosea toolsandmethodsofprogramanalysis5thinternationalconferencetmpa2019tbilisigeorgianovember792019revisedselectedpapers AT yavorskiyrostislav toolsandmethodsofprogramanalysis5thinternationalconferencetmpa2019tbilisigeorgianovember792019revisedselectedpapers

Holdings

Get full text

MARC

Record in the Search Index

Similar Items