Model checking software: 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2018]
|
| Schriftenreihe: | Lecture notes in computer science
10869 |
| Schlagworte: | |
| Beschreibung: | XVI, 346 Seiten Diagramme |
| ISBN: | 9783319941103 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV045110708 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 180801s2018 |||| |||| 10||| eng d | ||
| 020 | |a 9783319941103 |9 978-3-319-94110-3 | ||
| 035 | |a (OCoLC)1048208162 | ||
| 035 | |a (DE-599)BVBBV045110708 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.1 |2 23 | |
| 084 | |a SS 4800 |0 (DE-625)143528: |2 rvk | ||
| 111 | 2 | |a SPIN |n 25. |d 2018 |c Málaga |j Verfasser |0 (DE-588)1163666459 |4 aut | |
| 245 | 1 | 0 | |a Model checking software |b 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings |c María del Mar Gallardo, Pedro Merino (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2018] | |
| 300 | |a XVI, 346 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 10869 | |
| 650 | 4 | |a Computer Science | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Simulation and Modeling | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Logics and Meanings of Programs | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Algorithms | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Mathematical logic | |
| 650 | 4 | |a Computer simulation | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2018 |z Málaga |2 gnd-content | |
| 700 | 1 | |a Gallardo, María del Mar |4 edt | |
| 700 | 1 | |a Merino, Pedro |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-319-94111-0 |
| 830 | 0 | |a Lecture notes in computer science |v 10869 |w (DE-604)BV000000607 |9 10869 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030501051 | ||
Datensatz im Suchindex
| _version_ | 1804178751541477376 |
|---|---|
| any_adam_object | |
| author2 | Gallardo, María del Mar Merino, Pedro |
| author2_role | edt edt |
| author2_variant | m d m g mdm mdmg p m pm |
| author_corporate | SPIN Málaga |
| author_corporate_role | aut |
| author_facet | Gallardo, María del Mar Merino, Pedro SPIN Málaga |
| author_sort | SPIN Málaga |
| building | Verbundindex |
| bvnumber | BV045110708 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1048208162 (DE-599)BVBBV045110708 |
| 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 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01880nam a2200517zcb4500</leader><controlfield tag="001">BV045110708</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">180801s2018 |||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319941103</subfield><subfield code="9">978-3-319-94110-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1048208162</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045110708</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="082" ind1="0" ind2=" "><subfield code="a">005.1</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SPIN</subfield><subfield code="n">25.</subfield><subfield code="d">2018</subfield><subfield code="c">Málaga</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1163666459</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking software</subfield><subfield code="b">25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings</subfield><subfield code="c">María del Mar Gallardo, Pedro Merino (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2018]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVI, 346 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">10869</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">Programming Languages, Compilers, Interpreters</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">Mathematical Logic and Formal Languages</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithm Analysis and Problem Complexity</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">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">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algorithms</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">Computer simulation</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2018</subfield><subfield code="z">Málaga</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gallardo, María del Mar</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Merino, Pedro</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-319-94111-0</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">10869</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">10869</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030501051</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2018 Málaga gnd-content |
| genre_facet | Konferenzschrift 2018 Málaga |
| id | DE-604.BV045110708 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:08:57Z |
| institution | BVB |
| institution_GND | (DE-588)1163666459 |
| isbn | 9783319941103 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030501051 |
| oclc_num | 1048208162 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | XVI, 346 Seiten Diagramme |
| publishDate | 2018 |
| publishDateSearch | 2018 |
| publishDateSort | 2018 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | SPIN 25. 2018 Málaga Verfasser (DE-588)1163666459 aut Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings María del Mar Gallardo, Pedro Merino (eds.) Cham Springer [2018] XVI, 346 Seiten Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 10869 Computer Science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer simulation (DE-588)1071861417 Konferenzschrift 2018 Málaga gnd-content Gallardo, María del Mar edt Merino, Pedro edt Erscheint auch als Online-Ausgabe 978-3-319-94111-0 Lecture notes in computer science 10869 (DE-604)BV000000607 10869 |
| spellingShingle | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings Lecture notes in computer science Computer Science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer simulation |
| subject_GND | (DE-588)1071861417 |
| title | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings |
| title_auth | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings |
| title_exact_search | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings |
| title_full | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings María del Mar Gallardo, Pedro Merino (eds.) |
| title_fullStr | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings María del Mar Gallardo, Pedro Merino (eds.) |
| title_full_unstemmed | Model checking software 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings María del Mar Gallardo, Pedro Merino (eds.) |
| title_short | Model checking software |
| title_sort | model checking software 25th international symposium spin 2018 malaga spain june 20 22 2018 proceedings |
| title_sub | 25th international symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings |
| topic | Computer Science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer simulation |
| topic_facet | Computer Science Software Engineering Programming Languages, Compilers, Interpreters Simulation and Modeling Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Logics and Meanings of Programs Computer science Software engineering Programming languages (Electronic computers) Algorithms Computer logic Mathematical logic Computer simulation Konferenzschrift 2018 Málaga |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT spinmalaga modelcheckingsoftware25thinternationalsymposiumspin2018malagaspainjune20222018proceedings AT gallardomariadelmar modelcheckingsoftware25thinternationalsymposiumspin2018malagaspainjune20222018proceedings AT merinopedro modelcheckingsoftware25thinternationalsymposiumspin2018malagaspainjune20222018proceedings |