Computer- aided specification techniques

Demetrovics Janos

Computer- aided specification techniques Demetrovics Janos; Knuth Elod; Rado Peter - Singapore World Scientific Pub 1985 - 114p. cm. - Series in computer science .

41099

Textual


Computer program language
Computer science

D65,8(B)92, M5