80 元券9781009420990Informally预订Programs￥11100去看看中国国际图书专营店发布了预订 Formal Methods, Informally How to Write Programs That Work 9781009420990140 元券9781009420990InformallyProgramsMethods￥10190去看看澜瑞图书专营店发布了【3-4周达】Formal Methods, Informally: How to Write Programs That Work [9781009420990]
![【3-4周达】Formal Methods, Informally: How to Write Programs That Work [9781009420990]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01fxeL2p28LaNYyfVsv_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
