×
  • Recent Trends in Algebraic Development Techniques: 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers (Lecture Notes in Computer Science, 12669)

    Markus Roggenbach (editor)

Click on cover to enlarge.
Buy This Book
From Amazon.
4 - 5Hours to read