Tác giả: K. Rustan M Leino, Alexandra Silva
Ngôn ngữ: ger
ISBN-13: 978-3030816858
Ký hiệu phân loại: 005.1 Programming
Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2021
Mô tả vật lý: XXIV, 922 p. 287 illus., 171 illus. in color. , online resource.
Bộ sưu tập: Tài liệu truy cập mở
ID: 168896 Tạo mục trích dẫn