This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
€59.49
Mục lục
Type Systems.- Program analysis and Transformation.- Programming-language semantics.- Security.- Program logics.
Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!
Ngôn ngữ Anh ● định dạng PDF ● Trang 323 ● ISBN 9783319197975 ● Biên tập viên Ralf Hinze & Janis Voigtländer ● Nhà xuất bản Springer International Publishing ● Thành phố Cham ● Quốc gia CH ● Được phát hành 2015 ● Có thể tải xuống 24 tháng ● Tiền tệ EUR ● TÔI 4456131 ● Sao chép bảo vệ DRM xã hội
Thêm sách điện tử từ cùng một tác giả / Biên tập viên
16.384 Ebooks trong thể loại này
