Կազմի պատկեր

The correctness problem in computer science

Մատենագիտական մանրամասներ
Այլ հեղինակներ: Boyer, Robert S., Moore, J Strother, 1947-
Ձևաչափ: Գիրք
Լեզու:անգլերեն
Հրապարակվել է: London Academic Press 1981.
Խորագրեր:
Computer programs > Correctness.