Hiển thị 1 - 3 kết quả của 3 cho tìm kiếm 'logic functions programming secure data (((java programming) OR (_ programming)) language)', Thời gian tìm kiếm: 0.11s Lọc kết quả
1
Thông tin tác giả: Esparza, Javier, Spanfelner, Bernd, Grumberg, Orna
Thông tin xuất bản: IOS Press 2013
... at the 2009 summer school Formal Logical Methods for System Security and Correctness. The topics include...
Click để truy cập toàn văn
Sách
2
Thông tin tác giả: Thuraisingham, Bhavani
Thông tin xuất bản: CRC Press 2009
.... The author, a program director for Data and Applications Security at the National Science Foundations...
Click để truy cập toàn văn
Sách
3
Thông tin tác giả: Pohlman, Marlin
Thông tin xuất bản: CRC Press 2009
... on specific software components that will enable secure business operations. To complete the picture, he...
Click để truy cập toàn văn
Sách