Formal Methods for an Informal World ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures

Gespeichert in:
1. Verfasser:
Cerone, Antonio (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2023
Ausgabe:
1st ed. 2023
Umfang:
1 Online-Ressource (XI, 169 p. 81 illus., 50 illus. in color)
text file PDF
ISBN:
9783031436789
ISSN:
1611-3349
DOI:
10.1007/978-3-031-43678-9
Schlagworte:
Software engineering
Computer science
Programming languages (Electronic computers)
Bezugswerke:
Links: