Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings (Englisch)
- Neue Suche nach: ICFEM
- Weitere Informationen zu ICFEM:
- http://d-nb.info/gnd/1200053699
- Neue Suche nach: Aït-Ameur, Yamine
- Neue Suche nach: Qin, Shengchao
- Weitere Informationen zu Qin, Shengchao:
- http://d-nb.info/gnd/14267219X
- Neue Suche nach: ICFEM
- Weitere Informationen zu ICFEM:
- http://d-nb.info/gnd/1200053699
2019
-
ISBN:
- Konferenzband / Print
-
Titel:Formal methods and software engineering : 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019 : proceedings
-
Beteiligte:
-
Kongress:International Conference on Formal Engineering Methods ; 21 ; 2019 ; Shenzhen, China
ICFEM ; 21 ; 2019 ; Shenzhen, China -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Cham, Switzerland
-
Erscheinungsdatum:2019
-
Format / Umfang:xxi, 528 pages
-
Anmerkungen:24 cm
illustrations (black and white)
Includes bibliographical references and index -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 54.52
- Weitere Informationen zu Basisklassifikation
- Neue Suche nach: 005.1
- Weitere Informationen zu Dewey Decimal Classification
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle: