Model checking software: 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2023]
|
| Schriftenreihe: | Lecture notes in computer science
13872 |
| Schlagworte: | |
| Beschreibung: | x, 199 Seiten Illustrationen, Diagramme |
| ISBN: | 9783031321566 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV049095818 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 230809s2023 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783031321566 |9 978-3-031-32156-6 | ||
| 035 | |a (OCoLC)1378561474 | ||
| 035 | |a (DE-599)BVBBV049095818 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 629.8 |2 23 | |
| 084 | |a DAT 325 |2 stub | ||
| 084 | |a DAT 510 |2 stub | ||
| 111 | 2 | |a SPIN |n 29. |d 2023 |c Paris |j Verfasser |0 (DE-588)1294902075 |4 aut | |
| 245 | 1 | 0 | |a Model checking software |b 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings |c Georgiana Caltais, Christian Schilling, editors |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2023] | |
| 264 | 4 | |c © 2023 | |
| 300 | |a x, 199 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 |v 13872 | |
| 650 | 4 | |a Control, Robotics, Automation | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Computer Engineering and Networks | |
| 650 | 4 | |a Control engineering | |
| 650 | 4 | |a Robotics | |
| 650 | 4 | |a Automation | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer engineering | |
| 650 | 4 | |a Computer networks | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2023 |z Paris |2 gnd-content | |
| 700 | 1 | |a Caltais, Georgiana |4 edt | |
| 700 | 1 | |a Schilling, Christian |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-031-32157-3 |
| 830 | 0 | |a Lecture notes in computer science |v 13872 |w (DE-604)BV000000607 |9 13872 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-034357439 | |
Datensatz im Suchindex
| _version_ | 1820875835368800256 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Caltais, Georgiana Schilling, Christian |
| author2_role | edt edt |
| author2_variant | g c gc c s cs |
| author_corporate | SPIN Paris |
| author_corporate_role | aut |
| author_facet | Caltais, Georgiana Schilling, Christian SPIN Paris |
| author_sort | SPIN Paris |
| building | Verbundindex |
| bvnumber | BV049095818 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 325 DAT 510 |
| ctrlnum | (OCoLC)1378561474 (DE-599)BVBBV049095818 |
| dewey-full | 629.8 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 629 - Other branches of engineering |
| dewey-raw | 629.8 |
| dewey-search | 629.8 |
| dewey-sort | 3629.8 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| discipline_str_mv | Informatik Mess-/Steuerungs-/Regelungs-/Automatisierungstechnik / Mechatronik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zcb4500</leader><controlfield tag="001">BV049095818</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">230809s2023 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031321566</subfield><subfield code="9">978-3-031-32156-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1378561474</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049095818</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">629.8</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 510</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">SPIN</subfield><subfield code="n">29.</subfield><subfield code="d">2023</subfield><subfield code="c">Paris</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1294902075</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model checking software</subfield><subfield code="b">29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings</subfield><subfield code="c">Georgiana Caltais, Christian Schilling, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2023]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">x, 199 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</subfield><subfield code="v">13872</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control, Robotics, Automation</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">Computer Engineering and Networks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Control engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Robotics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Automation</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">Computer engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer networks </subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2023</subfield><subfield code="z">Paris</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Caltais, Georgiana</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schilling, Christian</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-031-32157-3</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13872</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">13872</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-034357439</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2023 Paris gnd-content |
| genre_facet | Konferenzschrift 2023 Paris |
| id | DE-604.BV049095818 |
| illustrated | Illustrated |
| index_date | 2024-07-03T22:31:12Z |
| indexdate | 2025-01-10T15:21:57Z |
| institution | BVB |
| institution_GND | (DE-588)1294902075 |
| isbn | 9783031321566 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034357439 |
| oclc_num | 1378561474 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | x, 199 Seiten Illustrationen, Diagramme |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | SPIN 29. 2023 Paris Verfasser (DE-588)1294902075 aut Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings Georgiana Caltais, Christian Schilling, editors Cham, Switzerland Springer [2023] © 2023 x, 199 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13872 Control, Robotics, Automation Software Engineering Artificial Intelligence Computer Engineering and Networks Control engineering Robotics Automation Software engineering Artificial intelligence Computer engineering Computer networks (DE-588)1071861417 Konferenzschrift 2023 Paris gnd-content Caltais, Georgiana edt Schilling, Christian edt Erscheint auch als Online-Ausgabe 978-3-031-32157-3 Lecture notes in computer science 13872 (DE-604)BV000000607 13872 |
| spellingShingle | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings Lecture notes in computer science Control, Robotics, Automation Software Engineering Artificial Intelligence Computer Engineering and Networks Control engineering Robotics Automation Software engineering Artificial intelligence Computer engineering Computer networks |
| subject_GND | (DE-588)1071861417 |
| title | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings |
| title_auth | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings |
| title_exact_search | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings |
| title_exact_search_txtP | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings |
| title_full | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings Georgiana Caltais, Christian Schilling, editors |
| title_fullStr | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings Georgiana Caltais, Christian Schilling, editors |
| title_full_unstemmed | Model checking software 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings Georgiana Caltais, Christian Schilling, editors |
| title_short | Model checking software |
| title_sort | model checking software 29th international symposium spin 2023 paris france april 26 27 2023 proceedings |
| title_sub | 29th international symposium, SPIN 2023, Paris, France, April 26–27, 2023 : proceedings |
| topic | Control, Robotics, Automation Software Engineering Artificial Intelligence Computer Engineering and Networks Control engineering Robotics Automation Software engineering Artificial intelligence Computer engineering Computer networks |
| topic_facet | Control, Robotics, Automation Software Engineering Artificial Intelligence Computer Engineering and Networks Control engineering Robotics Automation Software engineering Artificial intelligence Computer engineering Computer networks Konferenzschrift 2023 Paris |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT spinparis modelcheckingsoftware29thinternationalsymposiumspin2023parisfranceapril26272023proceedings AT caltaisgeorgiana modelcheckingsoftware29thinternationalsymposiumspin2023parisfranceapril26272023proceedings AT schillingchristian modelcheckingsoftware29thinternationalsymposiumspin2023parisfranceapril26272023proceedings |