Geprüfte Software. Theorien, Werkzeuge und Experimente: 16. Internationale Konferenz...
51,82 €
Verified Software. This book constitutes the refereed proceedings of the 16th International Conference on Verified Software, VSTTE 2024, held in Prague, Czech Republic, during October 14–15, 2024.
Jetzt bei Ebay: