" He Jifeng" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)

Zhiming Liu, He Jifeng

Категория: Математика, Прикладная математика

19.11 Mb

#2

Unifying theories of programming

C.A.R. Hoare, He Jifeng

1.08 Mb

#3

Unifying theories of programming

C.A.R. Hoare, He Jifeng

10.82 Mb

#4

Advances in Computing Science - ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Jifeng He, Masahiko Sato

3.85 Mb

#5

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006,

Zhiming Liu, Jifeng He

10.53 Mb