Formal Specification: Techniques and Applications

Nimal Nissanke MSc, PhD (auth.)

Publisher:Springer-Verlag London
Year:1999
ISBN:9781852330026 9781447107910
Edition:1

价格

￥15

限时折扣价：¥ 9.90

文件大小:7.44 MiB
pdfEnglish