Tests and Proofs: 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science)
詳しい情報
出版社: Springer(2024-09-10)
ペーパーバック: 192 ページ / 15.5 x 1.1 x 23.5 cm
ISBN-10: 3031720431 ISBN-13: 9783031720437