Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3–8, 2025, Proceedings, Part II

Weitere Versionen (3)
Gespeichert in:
Hauptverfasser:
Gurfinkel, Arie (HerausgeberIn), Heule, Marijn (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer Nature Switzerland Imprint: Springer 2025
Ausgabe:
1st ed. 2025
Umfang:
1 Online-Ressource (XX, 387 p. 106 illus., 87 illus. in color)
text file PDF
ISBN:
9783031906534
ISSN:
1611-3349
DOI:
10.1007/978-3-031-90653-4
Schlagworte:
Computer science
Microprogramming 
Computer networks 
Computer simulation
Software engineering
Bezugswerke:
Links: