Formal methods teaching: third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Format: | Conference Proceedings Book |
| Language: | English |
| Published: |
Cham
Springer
[2019]
|
| Series: | Lecture notes in computer science
11758 |
| Subjects: | |
| Physical Description: | xvi, 243 Seiten Illustrationen |
| ISBN: | 9783030324407 |
Staff View
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046319143 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 200103s2019 xx a||| |||| 10||| eng d | ||
| 020 | |a 9783030324407 |9 978-3-030-32440-7 | ||
| 035 | |a (OCoLC)1127644398 | ||
| 035 | |a (DE-599)BVBBV046319143 | ||
| 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 3. |d 2019 |c Porto, Portugal |j Verfasser |0 (DE-588)1199552674 |4 aut | |
| 245 | 1 | 0 | |a Formal methods teaching |b third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings |c Brijesh Dongol, Luigia Petre, Graeme Smith (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a xvi, 243 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 11758 | |
| 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 2019 |z Porto, Portugal |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 Dongol, Brijesh |4 edt | |
| 711 | 2 | |a World Congress on Formal Methods |n 3. |d 2019 |c Porto, Portugal |0 (DE-588)1196707030 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-32441-4 |
| 830 | 0 | |a Lecture notes in computer science |v 11758 |w (DE-604)BV000000607 |9 11758 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031696195 | |
Record in the Search Index
| _version_ | 1820980727522525184 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Dongol, Brijesh |
| author2_role | edt |
| author2_variant | b d bd |
| author_corporate | FMTea Porto, Portugal |
| author_corporate_role | aut |
| author_facet | Dongol, Brijesh FMTea Porto, Portugal |
| author_sort | FMTea Porto, Portugal |
| building | Verbundindex |
| bvnumber | BV046319143 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1127644398 (DE-599)BVBBV046319143 |
| 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 |
| 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">BV046319143</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">200103s2019 xx a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030324407</subfield><subfield code="9">978-3-030-32440-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1127644398</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046319143</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">3.</subfield><subfield code="d">2019</subfield><subfield code="c">Porto, Portugal</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1199552674</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods teaching</subfield><subfield code="b">third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings</subfield><subfield code="c">Brijesh Dongol, Luigia Petre, Graeme Smith (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xvi, 243 Seiten</subfield><subfield code="b">Illustrationen</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">11758</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">2019</subfield><subfield code="z">Porto, Portugal</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">Dongol, Brijesh</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">World Congress on Formal Methods</subfield><subfield code="n">3.</subfield><subfield code="d">2019</subfield><subfield code="c">Porto, Portugal</subfield><subfield code="0">(DE-588)1196707030</subfield><subfield code="4">oth</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-32441-4</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11758</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11758</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031696195</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2019 Porto, Portugal gnd-content |
| genre_facet | Konferenzschrift 2019 Porto, Portugal |
| id | DE-604.BV046319143 |
| illustrated | Illustrated |
| indexdate | 2025-01-11T19:09:10Z |
| institution | BVB |
| institution_GND | (DE-588)1199552674 (DE-588)1196707030 |
| isbn | 9783030324407 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031696195 |
| oclc_num | 1127644398 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xvi, 243 Seiten Illustrationen |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | FMTea 3. 2019 Porto, Portugal Verfasser (DE-588)1199552674 aut Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings Brijesh Dongol, Luigia Petre, Graeme Smith (eds.) Cham Springer [2019] xvi, 243 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11758 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 2019 Porto, Portugal gnd-content Formale Methode (DE-588)4333722-3 s Mathematische Logik (DE-588)4037951-6 s DE-604 Dongol, Brijesh edt World Congress on Formal Methods 3. 2019 Porto, Portugal (DE-588)1196707030 oth Erscheint auch als Online-Ausgabe 978-3-030-32441-4 Lecture notes in computer science 11758 (DE-604)BV000000607 11758 |
| spellingShingle | Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : 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 third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings |
| title_auth | Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings |
| title_exact_search | Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings |
| title_full | Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings Brijesh Dongol, Luigia Petre, Graeme Smith (eds.) |
| title_fullStr | Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings Brijesh Dongol, Luigia Petre, Graeme Smith (eds.) |
| title_full_unstemmed | Formal methods teaching third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : proceedings Brijesh Dongol, Luigia Petre, Graeme Smith (eds.) |
| title_short | Formal methods teaching |
| title_sort | formal methods teaching third international workshop and tutorial fmtea 2019 held as part of the third world congress on formal methods fm 2019 porto portugal october 7 2019 proceedings |
| title_sub | third international workshop and tutorial, FMTea 2019, held as part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019 : 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 2019 Porto, Portugal |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT fmteaportoportugal formalmethodsteachingthirdinternationalworkshopandtutorialfmtea2019heldaspartofthethirdworldcongressonformalmethodsfm2019portoportugaloctober72019proceedings AT dongolbrijesh formalmethodsteachingthirdinternationalworkshopandtutorialfmtea2019heldaspartofthethirdworldcongressonformalmethodsfm2019portoportugaloctober72019proceedings AT worldcongressonformalmethodsportoportugal formalmethodsteachingthirdinternationalworkshopandtutorialfmtea2019heldaspartofthethirdworldcongressonformalmethodsfm2019portoportugaloctober72019proceedings |