Наукова бібліотека Національного університету "Острозька академія" Search for 'an:23389'

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II /

.
XVIII, 683 p. 719 illus., 94 illus. in color. 9783030532918

.
XVII, 669 p. 616 illus., 117 illus. in color. 9783030532888