Computer Aided Verification: 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II (Theoretical Computer Science and General Issues, 12760)

出版社: Springer(2021-07-17)

ペーパーバック: 963 ページ / 15.6 x 4.8 x 23.4 cm / 1448.0 g

ISBN-10: 3030816877  ISBN-13: 9783030816872  [この本のウィジェットを作る]