Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Gespeichert in:
Hauptverfasser:
Chechik, Marsha (HerausgeberIn), Katoen, Joost-Pieter (HerausgeberIn), Leucker, Martin (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2023
Ausgabe:
1st ed. 2023
Umfang:
1 Online-Ressource (XVI, 659 p. 1230 illus., 132 illus. in color)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783031274817
ISSN:
1611-3349
DOI:
10.1007/978-3-031-27481-7
Schlagworte:
Software engineering
Computer science
Computers, Special purpose
Programming languages (Electronic computers)
Microprogramming 
Natural language processing (Computer science)
Bezugswerke:
Links: