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

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /

.
XX, 549 p. 1209 illus., 42 illus. in color. 9783030255435

.
XIX, 673 p. 1003 illus., 106 illus. in color. 9783030255404