Dòng Nội dung
1
Automated validation & verification of UML/OCL models using satisfiability solvers /Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
New York, NY :Springer Science+Business Media,2018
257 p.
Ký hiệu phân loại (DDC): 005.117
Số bản sách: (0) Tài liệu số: (1)
2
Object-orientation, abstraction, and data structures using Scala / Mark C Lewis; Lisa L Lacher
Boca Raton : Taylor & Francis, CRC Press, 2017
631 pages. : illustrations ; 26 cm.
Ký hiệu phân loại (DDC): 005.73
"The contents of this book are an expanded 2nd edition of the second half of Introduction to the Art of Programming Using Scala. The first half of that book became Introduction to Programming and Problem Solving Using Scala"
 Số bản sách: (1) Tài liệu số: (0)
3
UML @ classroom : an introduction to object-oriented modeling / Martina Seidl, Marion Scholz, Christian Huemer, Gerti Kappel
Cham, Switzerland : Springer, 2015
215 p.
Ký hiệu phân loại (DDC): 005.133
Số bản sách: (0) Tài liệu số: (1)