Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam

Title: Nghiên cứu và ứng dụng VDM++ cho Mô hình hóa và Kiểm thử hệ thống IMP tại NTT Data Việt Nam
Other Titles: Research and apply VDM ++ for modeling and testing systems at NTT Data IMP Vietnam
Authors: Nguyễn, Xuân Tùng
Keywords: Công nghệ thông tin;Công nghệ phần mềm;Tin học;Kiểm thử hệ thống IMP
Issue Date: 2015
Publisher: Đại học quốc gia Hà nội
Citation: 69 tr.
URI: http://repository.vnu.edu.vn/handle/VNU_123/11817

Nhận xét

Bài đăng phổ biến từ blog này

Nghiên cứu phân lập và định lượng cryptotanshinon từ cây đan sâm (Salvia miltiorrhiza Bunge.) phục vụ công tác đánh giá chất lượng dược liệu đan sâm Cryptotanshinon;Cây đan sâm (Salvia miltiorrhiza Bunge.);Dược học

Ảnh hưởng của môi trường dinh dưỡng đến sự sinh trưởng và sinh tổng hợp Poly (3-Hydroxybutyrate) của chủng vi khuẩn Yangia sp. NĐ199

Một số hợp chất flavonoid phân lập từ lá cây dâu (Morus alba L.) thu hái tại tỉnh Thái Nguyên