Formal methods for industrial critical systems (FMICS'2014):
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Elsevier
[2016]
|
| Schriftenreihe: | Science of computer programming
volume 118 (1 March 2016) |
| Schlagworte: | |
| Beschreibung: | Aus dem Vorwort: "This special issue contains improved and extended versions of selected papers from the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), which was held in Florence (Italy) in September 2014." - Literaturangaben |
| Beschreibung: | 95 Seiten Illustrationen |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV043519639 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 160420s2016 a||| |||| 10||| eng d | ||
| 035 | |a (OCoLC)944509175 | ||
| 035 | |a (DE-599)GBV851735584 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 | ||
| 111 | 2 | |a FMICS |n 19. |d 2014 |c Florenz |j Verfasser |0 (DE-588)1058693964 |4 aut | |
| 245 | 1 | 0 | |a Formal methods for industrial critical systems (FMICS'2014) |c guest editors: Frédéric Lang, Francesco Flammini |
| 264 | 1 | |a Amsterdam |b Elsevier |c [2016] | |
| 300 | |a 95 Seiten |b Illustrationen | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Science of computer programming |v volume 118 (1 March 2016) | |
| 500 | |a Aus dem Vorwort: "This special issue contains improved and extended versions of selected papers from the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), which was held in Florence (Italy) in September 2014." - Literaturangaben | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Lang, Frédéric |0 (DE-588)1059148277 |4 edt | |
| 700 | 1 | |a Flammini, Francesco |4 edt | |
| 830 | 0 | |a Science of computer programming |v volume 118 (1 March 2016) |w (DE-604)BV002583129 |9 118 | |
Datensatz im Suchindex
| _version_ | 1805079638885531648 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Lang, Frédéric Flammini, Francesco |
| author2_role | edt edt |
| author2_variant | f l fl f f ff |
| author_GND | (DE-588)1059148277 |
| author_corporate | FMICS Florenz |
| author_corporate_role | aut |
| author_facet | Lang, Frédéric Flammini, Francesco FMICS Florenz |
| author_sort | FMICS Florenz |
| building | Verbundindex |
| bvnumber | BV043519639 |
| ctrlnum | (OCoLC)944509175 (DE-599)GBV851735584 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV043519639</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">160420s2016 a||| |||| 10||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)944509175</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV851735584</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-384</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">FMICS</subfield><subfield code="n">19.</subfield><subfield code="d">2014</subfield><subfield code="c">Florenz</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1058693964</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal methods for industrial critical systems (FMICS'2014)</subfield><subfield code="c">guest editors: Frédéric Lang, Francesco Flammini</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Elsevier</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">95 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">Science of computer programming</subfield><subfield code="v">volume 118 (1 March 2016)</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Aus dem Vorwort: "This special issue contains improved and extended versions of selected papers from the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), which was held in Florence (Italy) in September 2014." - Literaturangaben</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lang, Frédéric</subfield><subfield code="0">(DE-588)1059148277</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Flammini, Francesco</subfield><subfield code="4">edt</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Science of computer programming</subfield><subfield code="v">volume 118 (1 March 2016)</subfield><subfield code="w">(DE-604)BV002583129</subfield><subfield code="9">118</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV043519639 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T06:48:10Z |
| institution | BVB |
| institution_GND | (DE-588)1058693964 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028935611 |
| oclc_num | 944509175 |
| open_access_boolean | |
| owner | DE-384 |
| owner_facet | DE-384 |
| physical | 95 Seiten Illustrationen |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Elsevier |
| record_format | marc |
| series | Science of computer programming |
| series2 | Science of computer programming |
| spelling | FMICS 19. 2014 Florenz Verfasser (DE-588)1058693964 aut Formal methods for industrial critical systems (FMICS'2014) guest editors: Frédéric Lang, Francesco Flammini Amsterdam Elsevier [2016] 95 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Science of computer programming volume 118 (1 March 2016) Aus dem Vorwort: "This special issue contains improved and extended versions of selected papers from the 19th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), which was held in Florence (Italy) in September 2014." - Literaturangaben (DE-588)1071861417 Konferenzschrift gnd-content Lang, Frédéric (DE-588)1059148277 edt Flammini, Francesco edt Science of computer programming volume 118 (1 March 2016) (DE-604)BV002583129 118 |
| spellingShingle | Formal methods for industrial critical systems (FMICS'2014) Science of computer programming |
| subject_GND | (DE-588)1071861417 |
| title | Formal methods for industrial critical systems (FMICS'2014) |
| title_auth | Formal methods for industrial critical systems (FMICS'2014) |
| title_exact_search | Formal methods for industrial critical systems (FMICS'2014) |
| title_full | Formal methods for industrial critical systems (FMICS'2014) guest editors: Frédéric Lang, Francesco Flammini |
| title_fullStr | Formal methods for industrial critical systems (FMICS'2014) guest editors: Frédéric Lang, Francesco Flammini |
| title_full_unstemmed | Formal methods for industrial critical systems (FMICS'2014) guest editors: Frédéric Lang, Francesco Flammini |
| title_short | Formal methods for industrial critical systems (FMICS'2014) |
| title_sort | formal methods for industrial critical systems fmics 2014 |
| topic_facet | Konferenzschrift |
| volume_link | (DE-604)BV002583129 |
| work_keys_str_mv | AT fmicsflorenz formalmethodsforindustrialcriticalsystemsfmics2014 AT langfrederic formalmethodsforindustrialcriticalsystemsfmics2014 AT flamminifrancesco formalmethodsforindustrialcriticalsystemsfmics2014 |