TRA CỨU
thông tin biểu ghi
  • Sách tham khảo
  • Ký hiệu PL/XG: 005.117 P9738
    Nhan đề: Automated validation & verification of UML/OCL models using satisfiability solvers /
ISBN 9783319728131
DDC 005.117
Nhan đề Automated validation & verification of UML/OCL models using satisfiability solvers / Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
Thông tin xuất bản New York, NY :Springer Science+Business Media,2018
Mô tả vật lý 257 p.
Thuật ngữ chủ đề Mạng máy tính
Thuật ngữ chủ đề Electronic circuits
Thuật ngữ chủ đề Computer software-Validation
Thuật ngữ chủ đề Object-oriented methods (Computer science)
Thuật ngữ chủ đề UML (Computer science)
Khoa Khoa Công nghệ Thông tin
Tác giả(bs) CN Drechsler, Rolf
Tác giả(bs) CN Przigoda, Judith
Tác giả(bs) CN Przigoda, Nils
Tác giả(bs) CN Wille, Robert
000 00880nam a22002535# 4500
00117299
0022
0046CF4C3C5-B4B8-4E91-809F-411B6B417F88
005202011141351
008190907s2018 nyu 000 0 eng
0091 0
020 |a9783319728131
039|a20201114135114|btainguyendientu|c20191118160020|dphucvh|y20190907092642|zngantk
040 |aNTT|beng
082|a005.117|bP9738|223
24510|aAutomated validation & verification of UML/OCL models using satisfiability solvers /|cNils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
260|aNew York, NY :|bSpringer Science+Business Media,|c2018
300 |a257 p.
650|aMạng máy tính
650|aElectronic circuits
650|aComputer software|xValidation
650|aObject-oriented methods (Computer science)
650|aUML (Computer science)
690|aKhoa Công nghệ Thông tin
691|aCông nghệ thông tin
700|aDrechsler, Rolf
700|aPrzigoda, Judith
700|aPrzigoda, Nils
700|aWille, Robert
8561|uhttp://elib.ntt.edu.vn/documentdata01/2 tailieuthamkhao/anhbiasach/17229-automatedvalidation&ampthumbimage.jpg
890|c1|a0|b0|d1
Không tìm thấy biểu ghi nào