Consistent and Complementary Formal Theories of the Semantics of Programming Languages

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Hoare, C, Lauer, P
Формат: Journal article
Хэвлэсэн: 1974