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
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