1
Bằng Guerrero, Hector., Guerrero, Hector.
Được phát hành 2010
Mục lục: ...to Spreadsheet Modeling -- Presentation of Quantitative Data -- Analysis of Quantitative Data...
lấy văn bản
Điện tử eBook
2
Được phát hành 2006
Mục lục: ... and Slicing -- Automatic Verification of Parameterized Data Structures -- Parameterized Verification...
lấy văn bản
Điện tử eBook