From software engineering to formal methods and tools, and back: essays dedicated to Stefania Gnesi on the occasion of her 65th birthday
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Cham
Springer
[2019]
|
| Schriftenreihe: | Lecture notes in computer science
11865 |
| Schlagworte: | |
| Beschreibung: | xiii, 574 Seiten Illustrationen, Diagramme |
| ISBN: | 9783030309848 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046311779 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 191218s2019 xx a||| |||| 01||| eng d | ||
| 020 | |a 9783030309848 |9 978-3-030-30984-8 | ||
| 035 | |a (OCoLC)1124938726 | ||
| 035 | |a (DE-599)BVBBV046311779 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 245 | 1 | 0 | |a From software engineering to formal methods and tools, and back |b essays dedicated to Stefania Gnesi on the occasion of her 65th birthday |c Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.) |
| 264 | 1 | |a Cham |b Springer |c [2019] | |
| 300 | |a xiii, 574 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 11865 | |
| 655 | 7 | |0 (DE-588)4016928-5 |a Festschrift |2 gnd-content | |
| 700 | 1 | |a Ter Beek, Maurice H. |4 edt | |
| 700 | 1 | |a Fantechi, Alessandro |0 (DE-588)107626266X |4 edt | |
| 700 | 1 | |a Semini, Laura |4 edt | |
| 700 | 1 | |a Gnesi, Stefania |d 1954- |0 (DE-588)1049306996 |4 hnr | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-30985-5 |
| 830 | 0 | |a Lecture notes in computer science |v 11865 |w (DE-604)BV000000607 |9 11865 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031688936 | |
Datensatz im Suchindex
| _version_ | 1820875760087334912 |
|---|---|
| adam_text | |
| any_adam_object | |
| author2 | Ter Beek, Maurice H. Fantechi, Alessandro Semini, Laura |
| author2_role | edt edt edt |
| author2_variant | b m h t bmh bmht a f af l s ls |
| author_GND | (DE-588)107626266X (DE-588)1049306996 |
| author_facet | Ter Beek, Maurice H. Fantechi, Alessandro Semini, Laura |
| building | Verbundindex |
| bvnumber | BV046311779 |
| classification_rvk | SS 4800 |
| ctrlnum | (OCoLC)1124938726 (DE-599)BVBBV046311779 |
| discipline | Informatik |
| format | 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">BV046311779</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">191218s2019 xx a||| |||| 01||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030309848</subfield><subfield code="9">978-3-030-30984-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1124938726</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046311779</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="245" ind1="1" ind2="0"><subfield code="a">From software engineering to formal methods and tools, and back</subfield><subfield code="b">essays dedicated to Stefania Gnesi on the occasion of her 65th birthday</subfield><subfield code="c">Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (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">xiii, 574 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">11865</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4016928-5</subfield><subfield code="a">Festschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ter Beek, Maurice H.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fantechi, Alessandro</subfield><subfield code="0">(DE-588)107626266X</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Semini, Laura</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gnesi, Stefania</subfield><subfield code="d">1954-</subfield><subfield code="0">(DE-588)1049306996</subfield><subfield code="4">hnr</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-30985-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">11865</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">11865</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031688936</subfield></datafield></record></collection> |
| genre | (DE-588)4016928-5 Festschrift gnd-content |
| genre_facet | Festschrift |
| id | DE-604.BV046311779 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:20:45Z |
| institution | BVB |
| isbn | 9783030309848 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031688936 |
| oclc_num | 1124938726 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | xiii, 574 Seiten Illustrationen, Diagramme |
| publishDate | 2019 |
| publishDateSearch | 2019 |
| publishDateSort | 2019 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.) Cham Springer [2019] xiii, 574 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 11865 (DE-588)4016928-5 Festschrift gnd-content Ter Beek, Maurice H. edt Fantechi, Alessandro (DE-588)107626266X edt Semini, Laura edt Gnesi, Stefania 1954- (DE-588)1049306996 hnr Erscheint auch als Online-Ausgabe 978-3-030-30985-5 Lecture notes in computer science 11865 (DE-604)BV000000607 11865 |
| spellingShingle | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday Lecture notes in computer science |
| subject_GND | (DE-588)4016928-5 |
| title | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday |
| title_auth | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday |
| title_exact_search | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday |
| title_full | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.) |
| title_fullStr | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.) |
| title_full_unstemmed | From software engineering to formal methods and tools, and back essays dedicated to Stefania Gnesi on the occasion of her 65th birthday Maurice H. ter Beek, Alessandro Fantechi, Laura Semini (eds.) |
| title_short | From software engineering to formal methods and tools, and back |
| title_sort | from software engineering to formal methods and tools and back essays dedicated to stefania gnesi on the occasion of her 65th birthday |
| title_sub | essays dedicated to Stefania Gnesi on the occasion of her 65th birthday |
| topic_facet | Festschrift |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT terbeekmauriceh fromsoftwareengineeringtoformalmethodsandtoolsandbackessaysdedicatedtostefaniagnesiontheoccasionofher65thbirthday AT fantechialessandro fromsoftwareengineeringtoformalmethodsandtoolsandbackessaysdedicatedtostefaniagnesiontheoccasionofher65thbirthday AT seminilaura fromsoftwareengineeringtoformalmethodsandtoolsandbackessaysdedicatedtostefaniagnesiontheoccasionofher65thbirthday AT gnesistefania fromsoftwareengineeringtoformalmethodsandtoolsandbackessaysdedicatedtostefaniagnesiontheoccasionofher65thbirthday |