1
Bằng Spear, Chris., Spear, Chris.
Được phát hành 2008
Mục lục: ... -- 2.1 Built-in Data Types -- 2.2 Fixed-Size Arrays -- 2.3 Dynamic Arrays -- 2.4 Queues -- 2.5...
lấy văn bản
Điện tử eBook
2
Được phát hành 2010
Mục lục: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
lấy văn bản
Điện tử eBook