
Formal software development : : From VDM to Java / Quentin Charatan, Aaron Kans
Tác giả : Quentin Charatan, Aaron Kans
Nhà xuất bản : Palgrave Macmillan
Năm xuất bản : 2004
Nơi xuất bản : New York
Mô tả vật lý : 239 p. ; 26 cm
ISBN : 0333992814
Số phân loại : 005.133
Chủ đề : 1. Java (Computer program language). 2. Ngôn ngữ lập trình Java.
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
|
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-94843.html |