Formal Methods and Software Engineering 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings

Gespeichert in:
Hauptverfasser:
Lin, Shang-Wei (HerausgeberIn), Hou, Zhe (HerausgeberIn), Mahoney, Brendan (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2020
Ausgabe:
1st ed. 2020
Umfang:
1 Online-Ressource (XII, 335 p. 386 illus., 48 illus. in color)
text file PDF
Schriftenreihe:
Programming and Software Engineering
ISBN:
9783030634063
DOI:
10.1007/978-3-030-63406-3
Schlagworte:
Computers
Software engineering
Application software
Programming languages (Electronic computers)
Artificial intelligence
Computer logic
Natural language processing (Computer science)
Bezugswerke:
Links: