Chương trình Formal Specification (project môn Đặc tả hình thức của Ts.Trần Minh Triết)

1.     Quy trình làm việc Mô tả ngôn ngữ bằng ngôn ngữ GOLD Meta Language

Bài viết liên quan đến môn học Đặc tả hình thức của thầy Trần Minh Triết

Thứ tự Byte – Little Endian – Big Endian Khi lập trình liên quan đến thao tác đọc ghi memory hay file chứng ta để ý các hàm đều làm việc trên byte . Nhưng nếu hiện thị các byte đó lên theo thứ tự bạn đọc được sẽ thấy nó có gì đó kỳ [...]

Tải phần mềm từ Internet là 1 thú vị của nhiều người , nhưng đã mấy ai hiểu được ý nghĩa những từ nằm đằng sau tên phần mềm như : Autoplay Media Studio 6.0 Trial hay EZB Systems UltraISO Media Edition 7.6.6.1308 … Ôi , thật loằng ngoằng và rắc rối , chúng có [...]

Trong kinh tế học, thuật ngữ “lạm phát” được dùng để chỉ sự tăng lên theo thời gian của mức giá chung hầu hết các hàng hoá và dịch vụ so với thời điểm một năm trước đó. Như vậy tình trạng lạm phát được đánh giá bằng cách so sánh giá cả của hai [...]