用Z语言序列数据类型描述栈与队列,刘艳平,王志刚,Z语言是一种软件工程语言,用它描述的软件规格具有简明、精确、无歧义、可推理和证明的优点。Z是一个类型化的语言,其中序列数据