50 元券
50 元券
30 元券
![按需印刷Computer-Aided Specification Techniques[9789971978532]](https://img.alicdn.com/bao/uploaded/i2/1899623276/O1CN01KquPXL1a4SIhJGSAd_!!0-item_pic.jpg_280x380xz.jpg)
30 元券
10 元券
5 元券
20 元券
20 元券
30 元券
8 元券
40 元券
![【4周达】Specification and Verification of Declarative Open Interaction Models: A Logic-Based Approach [9783642145377]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01JLVTwX28LaGd3dkd9_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Architectural Design : Conception and Specification of Interactive Systems [9783319827834]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01fO2cZi28LaGfUrIZK_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Semantics and Algebraic Specification : Essays Dedicated to Peter D. Mosses on the Occasion ... [9783642041631]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01Z4gMjT28LaGdIZO1B_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Parsing Schemata : A Framework for Specification and Analysis of Parsing Algorithms [9783642644511]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN017JeX3B28LaGdabqRU_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Read... [9783540627173]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01oFduAP28LaGaRo1UD_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Ty... [9783540591320]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01tgqtwv28LaGceMgsK_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Fundamentals of Algebraic Specification 2: Module Specifications and Constraints [9783642647765]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01zOlboc28LaGeKzEwX_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Design, Specification and Verification of Interactive Systems '98 : Proceedings of the Eurog... [9783211832127]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01PtvOUd28LaGYtus3g_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Interactive Systems, Design, Specification and Verification: 10th International Workshop, Ds... [9783540201595]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01qrthma28LaGenMuB9_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Design Specification and Verification of Interactive Systems '95: Proceedings of the Eu... [9783211827390]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01dPcyW828LaGZeTeaB_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Temporal Logic in Specification : Altrincham, UK, April 8-10, 1987, Proceedings [9783540518037]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01G36fmv28LaGbApPCZ_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Recent Trends in Data Type Specification: 7th Workshop on Specification of Abstract Data Typ... [9783540544968]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01pDZ3fi28LaGfqswcf_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Ber... [9783540650706]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01CVupQZ28LaGbOCea8_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】The Temporal Logic of Reactive and Concurrent Systems : Specification [9781461269502]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01ZoIBwa28LaHwamu4t_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Recent Types in Data Type Specification: 9th Workshop on Specification of Abstract Data Type... [9783540578673]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01pdBpMN28LaGdExtT2_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Ref... [9781461265184]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN015udPeT28LaHq0LrFw_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Paragon : A Language Using Type Hierarchies for the Specification, Implementation, and Selec... [9783540152125]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01MKiDDj28LaGde45YR_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Typ... [9783540563792]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01crplhh28LaGW5PUfx_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Design, Specification and Verification of Interactive Systems '97 : Proceedings of the Eurog... [9783211830550]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN0141xv3Q28LaGcWIlHR_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Specification and Transformation of Programs : A Formal Approach to Software Development [9783540525899]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01Lr6kYF28LaGcf8QIL_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Semantics of Specification Languages (SoSL): Proceedings of the International Workshop on Se... [9783540198543]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN0197tEK728LaGddpisu_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Interactive Systems: Design, Specification, and Verification : 1st Eurographics Workshop, Bo... [9783642871177]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN0158OJfm28LaGf4T9fV_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Neural Cell Specification: Molecular Mechanisms and Neurotherapeutic Implications [9781461357902]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01hpSRUN28LaHxEnWcm_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Program Specification : Proceedings of a Workshop Aarhus, Denmark, August 1981 [9783540114901]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01YJFuh928LaGcU1E4M_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Specification and Development of Interactive Systems : Focus on Streams, Interfaces, and Ref... [9780387950730]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN014n121U28LaHiJxjHf_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
80 元券
![【4周达】Guide to Metering Systems: Specification, Installation and Use [9781785610592]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01XQbDN728LaI290L7D_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
120 元券
3 元券
30 元券
![【4周达】Illustrated Guide To Door Hardware: Design, Specification, Selection [Wiley建筑] [9781118112618]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01b7MW5W28LaHwqLmMp_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
160 元券
30 元券
![【4周达】Metallic Materials Specification Handbook [9780412369407]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN016smAS428LaHfwVGyj_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
720 元券
![【4周达】Machine Tools: Specification, Purchase, and Installation [9780071812221]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01k2yDZ228LaHgK0zxL_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
280 元券
![【4周达】Foundations of Algebraic Specification and Formal Software Development [9783642440656]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01sguxx228LaGeBGEpg_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
120 元券
![预订 Specification Writing and Management [9780824780821]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01wsdRjG28LaHmMfR1f_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
240 元券
![【4周达】Interaction Models: Specification and Interpretation [9781108416719]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01VMvMsF28LaHxnLXdc_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
200 元券
![【4周达】Real Time Programming: Languages, Specification and Verification [9789810225667]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01mF3foB28LaGi9ZxRj_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
160 元券
![【4周达】Cold-Formed Steel Structures to the AISI Specification [9780824792947]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01RvZHxV28LaHmMDqL0_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
440 元券
5 元券
![【4周达】Utility Communication Networks and Services : Specification, Deployment and Operation [9783319820682]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01A0q1YI28LaGfVxRLn_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
160 元券
![【4周达】The Object-Z Specification Language [9781461374015]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01r4tDjN28LaHz4PYa6_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
280 元券
![预订 Embracing Model Transformations in Requirements Specification [9783659427763]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01ks7lLa28LaGdgIRIF_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
120 元券
5 元券
30 元券
![【4周达】Specification of Drug Substances and Products: Development and Validation of Analytical Methods [9780443134661]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01tiuhEN28LaHa66ZmB_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
400 元券
20 元券
30 元券
![【4周达】Specification Analysis in the Linear Model: (In Honour of Donald Cochrane) [9780815350545]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01OBUgEL28LaHlpJQJe_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
240 元券
20 元券
![按需印刷S2000M, International specification for Material Management, Issue 7.0[9788419125293]](https://img.alicdn.com/bao/uploaded/i4/1899623276/O1CN01O7i6tH1a4SJYqf2uy_!!0-item_pic.jpg_280x380xz.jpg)