Formal methods teaching: 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham
Springer
[2021]
|
| Series: | Lecture notes in computer science
13122 |
| Subjects: | |
| Physical Description: | vi, 145 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030915490 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV047705050 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 220121s2021 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030915490 |9 978-3-030-91549-0 | ||
| 035 | |a (OCoLC)1288619976 | ||
| 035 | |a (DE-599)BVBBV047705050 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.131 |2 23 | |
| 111 | 2 | |a FMTea |n 4. |d 2021 |c Online |j Verfasser |0 (DE-588)1247657957 |4 aut | |
| 245 | 1 | 0 | |a Formal methods teaching |b 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings |c João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2021] | |
| 300 | |a vi, 145 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 13122 | |
| 650 | 4 | |a Mathematical Logic and Formal Languages | |
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Software Engineering | |
| 650 | 4 | |a Logic in AI. | |
| 650 | 4 | |a Algorithm Analysis and Problem Complexity | |
| 650 | 4 | |a Computer science | |
| 650 | 4 | |a Software engineering | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Computer logic | |
| 650 | 4 | |a Computer software | |
| 650 | 0 | 7 | |a Formale Methode |0 (DE-588)4333722-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2021 |z Online |2 gnd-content | |
| 689 | 0 | 0 | |a Formale Methode |0 (DE-588)4333722-3 |D s |
| 689 | 0 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ferreira, João F. |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-91550-6 |
| 830 | 0 | |a Lecture notes in computer science |v 13122 |w (DE-604)BV000000607 |9 113122 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033088964 | |
Record in the Search Index
| _version_ | 1823668073520955392 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Ferreira, João F. |
| author2_role | edt |
| author2_variant | j f f jf jff |
| author_corporate | FMTea Online |
| author_corporate_role | aut |
| author_facet | Ferreira, João F. FMTea Online |
| author_sort | FMTea Online |
| building | Verbundindex |
| bvnumber | BV047705050 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1288619976 (DE-599)BVBBV047705050 |
| dewey-full | 005.131 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.131 |
| dewey-search | 005.131 |
| dewey-sort | 15.131 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| 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">BV047705050</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">220121s2021 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030915490</subfield><subfield code="9">978-3-030-91549-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1288619976</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047705050</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.131</subfield><subfield code="2">23</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FMTea</subfield><subfield code="n">4.</subfield><subfield code="d">2021</subfield><subfield code="c">Online</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1247657957</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods teaching</subfield><subfield code="b">4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings</subfield><subfield code="c">João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2021]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vi, 145 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">13122</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">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">Logic in AI.</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">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">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</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">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</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">2021</subfield><subfield code="z">Online</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ferreira, João F.</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-030-91550-6</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">13122</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">113122</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033088964</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content |
| genre_facet | Konferenzschrift 2021 Online |
| id | DE-604.BV047705050 |
| illustrated | Illustrated |
| index_date | 2024-07-03T18:58:54Z |
| indexdate | 2025-02-10T11:03:23Z |
| institution | BVB |
| institution_GND | (DE-588)1247657957 |
| isbn | 9783030915490 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033088964 |
| oclc_num | 1288619976 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | vi, 145 Seiten Illustrationen, Diagramme |
| publishDate | 2021 |
| publishDateSearch | 2021 |
| publishDateSort | 2021 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FMTea 4. 2021 Online Verfasser (DE-588)1247657957 aut Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.) Cham Springer [2021] vi, 145 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 13122 Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Logic in AI. Algorithm Analysis and Problem Complexity Computer science Software engineering Artificial intelligence Computer logic Computer software Formale Methode (DE-588)4333722-3 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2021 Online gnd-content Formale Methode (DE-588)4333722-3 s Mathematische Logik (DE-588)4037951-6 s DE-604 Ferreira, João F. edt Erscheint auch als Online-Ausgabe 978-3-030-91550-6 Lecture notes in computer science 13122 (DE-604)BV000000607 113122 |
| spellingShingle | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings Lecture notes in computer science Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Logic in AI. Algorithm Analysis and Problem Complexity Computer science Software engineering Artificial intelligence Computer logic Computer software Formale Methode (DE-588)4333722-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4333722-3 (DE-588)4037951-6 (DE-588)1071861417 |
| title | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings |
| title_auth | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings |
| title_exact_search | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings |
| title_exact_search_txtP | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings |
| title_full | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.) |
| title_fullStr | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.) |
| title_full_unstemmed | Formal methods teaching 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings João F. Ferreira, Alexandra Mendes, Claudio Menghi (eds.) |
| title_short | Formal methods teaching |
| title_sort | formal methods teaching 4th international workshop and tutorial fmtea 2021 virtual event november 21 2021 proceedings |
| title_sub | 4th international workshop and tutorial, FMTea 2021, virtual event, November 21, 2021 : proceedings |
| topic | Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Logic in AI. Algorithm Analysis and Problem Complexity Computer science Software engineering Artificial intelligence Computer logic Computer software Formale Methode (DE-588)4333722-3 gnd Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Software Engineering Logic in AI. Algorithm Analysis and Problem Complexity Computer science Software engineering Artificial intelligence Computer logic Computer software Formale Methode Mathematische Logik Konferenzschrift 2021 Online |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fmteaonline formalmethodsteaching4thinternationalworkshopandtutorialfmtea2021virtualeventnovember212021proceedings AT ferreirajoaof formalmethodsteaching4thinternationalworkshopandtutorialfmtea2021virtualeventnovember212021proceedings |