Computer Dictionary/ASPIK

From En.18dao.net
Jump to: navigation, search

A multiple-style specification

language.

["Algebraic Specifications in an Integrated Software Development and Verification System", A. Voss, Diss, U Kaiserslautern, 1985].


Related Columns: ASCII, Dream Dictionary, Idiom Dictionary

Discussion about "Computer Dictionary/ASPIK":

None Discussion Now.

Add Discussion