Tests and Proofs 18th International Conference, TAP 2024, Milan, Italy, September 9–10, 2024, Proceedings

Marieke Huisman, Falk Howar

  • First published 2024
  • 200 pages
  • English
Genres
Nonfiction › Technology › Computing › ProgrammingNonfiction › Science & mathematics › MathematicsNonfiction › Philosophy › Logic

No reviews yet. Be the first.

This edition
Springer Nature Switzerland, 2024
ISBN
9783031720437
Language
English
Original edition Originally published in 2024 · English · Springer Nature

Other editions (1)