Verfügbarkeit: Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation: 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Lamprecht, Anna-Lena 1982- (HerausgeberIn)
Format:	Elektronisch Tagungsbericht E-Book
Sprache:	English
Veröffentlicht:	Cham Springer [2016]
Schriftenreihe:	Communications in Computer and Information Science 683
Schlagworte:	Computer science Software engineering Computers Computer logic Mathematical logic Database management Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Database Management Simulation and Modeling Computation by Abstract Devices Informatik Softwareentwicklung Systementwurf Formale Methode Programmanalyse Verifikation Programmverifikation Systemanalyse Konferenzschrift > 2014 > Kerkira Konferenzschrift > 2014 > Heraklion
Online-Zugang:	BTU01 FHA01 FHI01 FHM01 FHN01 FHR01 FKE01 FRO01 HTW01 UBG01 UBM01 UBR01 UBT01 UBW01 UER01 UPA01 Volltext
Beschreibung:	1 Online-Ressource (VII, 157 Seiten, 62 illus)
ISBN:	9783319516417
ISSN:	1865-0929
DOI:	10.1007/978-3-319-51641-7

Internformat

MARC


LEADER	00000nmm a2200000zcb4500
001	BV043990849
003	DE-604
005	20170719
006	a \|\|\|\| 10\|\|\|
007	cr\|uuu---uuuuu
008	170110s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
020			\|a 9783319516417 \|c Online \|9 978-3-319-51641-7
024	7		\|a 10.1007/978-3-319-51641-7 \|2 doi
035			\|a (ZDB-2-SCS)978-3-319-51641-7
035			\|a (OCoLC)968271226
035			\|a (DE-599)BVBBV043990849
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
049			\|a DE-355 \|a DE-19 \|a DE-Aug4 \|a DE-898 \|a DE-861 \|a DE-523 \|a DE-859 \|a DE-473 \|a DE-29 \|a DE-20 \|a DE-92 \|a DE-573 \|a DE-M347 \|a DE-703 \|a DE-739 \|a DE-634
082	0		\|a 005.1 \|2 23
084			\|a ST 230 \|0 (DE-625)143617: \|2 rvk
111	2		\|a ISoLA \|n 6. \|d 2014 \|c Kerkira \|0 (DE-588)1060736543 \|4 oth
245	1	0	\|a Leveraging applications of formal methods, verification, and validation \|b 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers \|c Anna-Lena Lamprecht (ed.)
264		1	\|a Cham \|b Springer \|c [2016]
300			\|a 1 Online-Ressource (VII, 157 Seiten, 62 illus)
336			\|b txt \|2 rdacontent
337			\|b c \|2 rdamedia
338			\|b cr \|2 rdacarrier
490	1		\|a Communications in computer and information science \|v 686 \|x 1865-0929
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Computers
650		4	\|a Computer logic
650		4	\|a Mathematical logic
650		4	\|a Database management
650		4	\|a Computer simulation
650		4	\|a Computer Science
650		4	\|a Software Engineering
650		4	\|a Logics and Meanings of Programs
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Database Management
650		4	\|a Simulation and Modeling
650		4	\|a Computation by Abstract Devices
650		4	\|a Informatik
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Systementwurf \|0 (DE-588)4261480-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Formale Methode \|0 (DE-588)4333722-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmanalyse \|0 (DE-588)4175841-9 \|2 gnd \|9 rswk-swf
650	0	7	\|a Verifikation \|0 (DE-588)4135577-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 Systemanalyse \|0 (DE-588)4116673-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Kerkira \|2 gnd-content
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2014 \|z Heraklion \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Programmanalyse \|0 (DE-588)4175841-9 \|D s
689	0	2	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	0		\|5 DE-604
689	1	0	\|a Systementwurf \|0 (DE-588)4261480-6 \|D s
689	1	1	\|a Systemanalyse \|0 (DE-588)4116673-5 \|D s
689	1	2	\|a Verifikation \|0 (DE-588)4135577-5 \|D s
689	1	3	\|a Formale Methode \|0 (DE-588)4333722-3 \|D s
689	1		\|5 DE-604
700	1		\|a Lamprecht, Anna-Lena \|d 1982- \|0 (DE-588)1036784177 \|4 edt
711	2		\|a ISoLA \|n 5 \|d 2012 \|c Heraklion \|0 (DE-588)1027270042 \|4 oth
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|z 978-3-319-51640-0
830		0	\|a Communications in Computer and Information Science \|v 683 \|w (DE-604)BV041227480 \|9 683
856	4	0	\|u https://doi.org/10.1007/978-3-319-51641-7 \|x Verlag \|z URL des Erstveröffentlichers \|3 Volltext
912			\|a ZDB-2-SCS
940	1		\|q ZDB-2-SCS_2016
999			\|a oai:aleph.bib-bvb.de:BVB01-029399056
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l BTU01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FHA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FHI01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FHM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FHN01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FHR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FKE01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l FRO01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l HTW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UBG01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UBM01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UBR01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UBT01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UBW01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UER01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext
966	e		\|u https://doi.org/10.1007/978-3-319-51641-7 \|l UPA01 \|p ZDB-2-SCS \|x Verlag \|3 Volltext

Datensatz im Suchindex

_version_	1804176964705058816
any_adam_object
author2	Lamprecht, Anna-Lena 1982-
author2_role	edt
author2_variant	a l l all
author_GND	(DE-588)1036784177
author_facet	Lamprecht, Anna-Lena 1982-
building	Verbundindex
bvnumber	BV043990849
classification_rvk	ST 230
collection	ZDB-2-SCS
ctrlnum	(ZDB-2-SCS)978-3-319-51641-7 (OCoLC)968271226 (DE-599)BVBBV043990849
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
doi_str_mv	10.1007/978-3-319-51641-7
format	Electronic Conference Proceeding eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>05037nmm a2201009zcb4500</leader><controlfield tag="001">BV043990849</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170719 </controlfield><controlfield tag="006">a \|\|\|\| 10\|\|\| </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">170110s2016 \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319516417</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-51641-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-51641-7</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-3-319-51641-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)968271226</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043990849</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-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-523</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-473</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-M347</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">ISoLA</subfield><subfield code="n">6.</subfield><subfield code="d">2014</subfield><subfield code="c">Kerkira</subfield><subfield code="0">(DE-588)1060736543</subfield><subfield code="4">oth</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Leveraging applications of formal methods, verification, and validation</subfield><subfield code="b">6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers</subfield><subfield code="c">Anna-Lena Lamprecht (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (VII, 157 Seiten, 62 illus)</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="1" ind2=" "><subfield code="a">Communications in computer and information science</subfield><subfield code="v">686</subfield><subfield code="x">1865-0929</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer simulation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Science</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Software Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logics and Meanings of Programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Database Management</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Simulation and Modeling</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computation by Abstract Devices</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Informatik</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">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">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">Verifikation</subfield><subfield code="0">(DE-588)4135577-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">Systemanalyse</subfield><subfield code="0">(DE-588)4116673-5</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">2014</subfield><subfield code="z">Kerkira</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2014</subfield><subfield code="z">Heraklion</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">Programmanalyse</subfield><subfield code="0">(DE-588)4175841-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><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="3"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Systementwurf</subfield><subfield code="0">(DE-588)4261480-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><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="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="3"><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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lamprecht, Anna-Lena</subfield><subfield code="d">1982-</subfield><subfield code="0">(DE-588)1036784177</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ISoLA</subfield><subfield code="n">5</subfield><subfield code="d">2012</subfield><subfield code="c">Heraklion</subfield><subfield code="0">(DE-588)1027270042</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</subfield><subfield code="z">978-3-319-51640-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Communications in Computer and Information Science</subfield><subfield code="v">683</subfield><subfield code="w">(DE-604)BV041227480</subfield><subfield code="9">683</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-51641-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_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029399056</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-51641-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-319-51641-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-319-51641-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-319-51641-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-319-51641-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-319-51641-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-319-51641-7</subfield><subfield code="l">FKE01</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-319-51641-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-319-51641-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-319-51641-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-319-51641-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-319-51641-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><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-51641-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-319-51641-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-319-51641-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-319-51641-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></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2014 Kerkira gnd-content (DE-588)1071861417 Konferenzschrift 2014 Heraklion gnd-content
genre_facet	Konferenzschrift 2014 Kerkira Konferenzschrift 2014 Heraklion
id	DE-604.BV043990849
illustrated	Not Illustrated
indexdate	2024-07-10T07:40:33Z
institution	BVB
institution_GND	(DE-588)1060736543 (DE-588)1027270042
isbn	9783319516417
issn	1865-0929
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-029399056
oclc_num	968271226
open_access_boolean
owner	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-573 DE-M347 DE-703 DE-739 DE-634
owner_facet	DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-523 DE-859 DE-473 DE-BY-UBG DE-29 DE-20 DE-92 DE-573 DE-M347 DE-703 DE-739 DE-634
physical	1 Online-Ressource (VII, 157 Seiten, 62 illus)
psigel	ZDB-2-SCS ZDB-2-SCS_2016
publishDate	2016
publishDateSearch	2016
publishDateSort	2016
publisher	Springer
record_format	marc
series	Communications in Computer and Information Science
series2	Communications in computer and information science
spelling	ISoLA 6. 2014 Kerkira (DE-588)1060736543 oth Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers Anna-Lena Lamprecht (ed.) Cham Springer [2016] 1 Online-Ressource (VII, 157 Seiten, 62 illus) txt rdacontent c rdamedia cr rdacarrier Communications in computer and information science 686 1865-0929 Computer science Software engineering Computers Computer logic Mathematical logic Database management Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Database Management Simulation and Modeling Computation by Abstract Devices Informatik Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Systementwurf (DE-588)4261480-6 gnd rswk-swf Formale Methode (DE-588)4333722-3 gnd rswk-swf Programmanalyse (DE-588)4175841-9 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Systemanalyse (DE-588)4116673-5 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2014 Kerkira gnd-content (DE-588)1071861417 Konferenzschrift 2014 Heraklion gnd-content Softwareentwicklung (DE-588)4116522-6 s Programmanalyse (DE-588)4175841-9 s Programmverifikation (DE-588)4135576-3 s Formale Methode (DE-588)4333722-3 s DE-604 Systementwurf (DE-588)4261480-6 s Systemanalyse (DE-588)4116673-5 s Verifikation (DE-588)4135577-5 s Lamprecht, Anna-Lena 1982- (DE-588)1036784177 edt ISoLA 5 2012 Heraklion (DE-588)1027270042 oth Erscheint auch als Druck-Ausgabe 978-3-319-51640-0 Communications in Computer and Information Science 683 (DE-604)BV041227480 683 https://doi.org/10.1007/978-3-319-51641-7 Verlag URL des Erstveröffentlichers Volltext
spellingShingle	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers Communications in Computer and Information Science Computer science Software engineering Computers Computer logic Mathematical logic Database management Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Database Management Simulation and Modeling Computation by Abstract Devices Informatik Softwareentwicklung (DE-588)4116522-6 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Verifikation (DE-588)4135577-5 gnd Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd
subject_GND	(DE-588)4116522-6 (DE-588)4261480-6 (DE-588)4333722-3 (DE-588)4175841-9 (DE-588)4135577-5 (DE-588)4135576-3 (DE-588)4116673-5 (DE-588)1071861417
title	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers
title_auth	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers
title_exact_search	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers
title_full	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers Anna-Lena Lamprecht (ed.)
title_fullStr	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers Anna-Lena Lamprecht (ed.)
title_full_unstemmed	Leveraging applications of formal methods, verification, and validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers Anna-Lena Lamprecht (ed.)
title_short	Leveraging applications of formal methods, verification, and validation
title_sort	leveraging applications of formal methods verification and validation 6th international symposium isola 2014 corfu greece october 8 11 2014 and 5th international symposium isola 2012 heraklion crete greece october 15 18 2012 revised selected papers
title_sub	6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012 : revised selected papers
topic	Computer science Software engineering Computers Computer logic Mathematical logic Database management Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Database Management Simulation and Modeling Computation by Abstract Devices Informatik Softwareentwicklung (DE-588)4116522-6 gnd Systementwurf (DE-588)4261480-6 gnd Formale Methode (DE-588)4333722-3 gnd Programmanalyse (DE-588)4175841-9 gnd Verifikation (DE-588)4135577-5 gnd Programmverifikation (DE-588)4135576-3 gnd Systemanalyse (DE-588)4116673-5 gnd
topic_facet	Computer science Software engineering Computers Computer logic Mathematical logic Database management Computer simulation Computer Science Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Database Management Simulation and Modeling Computation by Abstract Devices Informatik Softwareentwicklung Systementwurf Formale Methode Programmanalyse Verifikation Programmverifikation Systemanalyse Konferenzschrift 2014 Kerkira Konferenzschrift 2014 Heraklion
url	https://doi.org/10.1007/978-3-319-51641-7
volume_link	(DE-604)BV041227480
work_keys_str_mv	AT isolakerkira leveragingapplicationsofformalmethodsverificationandvalidation6thinternationalsymposiumisola2014corfugreeceoctober8112014and5thinternationalsymposiumisola2012heraklioncretegreeceoctober15182012revisedselectedpapers AT lamprechtannalena leveragingapplicationsofformalmethodsverificationandvalidation6thinternationalsymposiumisola2014corfugreeceoctober8112014and5thinternationalsymposiumisola2012heraklioncretegreeceoctober15182012revisedselectedpapers AT isolaheraklion leveragingapplicationsofformalmethodsverificationandvalidation6thinternationalsymposiumisola2014corfugreeceoctober8112014and5thinternationalsymposiumisola2012heraklioncretegreeceoctober15182012revisedselectedpapers

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