도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
155,680원
역대최고가 155,680원
최근평균가 155,680원
역대최저가 132,320원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
93,520원
Formal Software Development: From VDM to Java Paperback, Palgrave
174,280원
Fme ''96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Me..., Springer
133,280원
VDM ''87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987 Brussels Belgium March 23-26 1987 Proceedings Paperback, Springer
166,880원
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer
78,480원
Formal Methods in Automated Design Debugging Paperback, VDM Verlag
71,680원
Knowledge Sharing in Software Development Paperback, VDM Verlag
83,940원
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design..., Springer
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Us..., Springer
106,400원
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods ..., Springer
119,840원
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods ..., Springer
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods ..., Springer
163,080원
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods ..., Springer
129,480원
Formal Methods and Software Engineering: 13th International Conference on Formal Engineering Methods ..., Springer
104,840원
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods ..., Springer
91,400원
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods ..., Springer
78,380원
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory a..., Springer
95,880원
Formal Methods for Components and Objects: Third International Symposium Fmco 2004 Leiden the Nethe..., Springer
140,680원
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods I..., Springer
185,480원
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods I..., Springer
Fme ''94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe..., Springer
113,120원
International Ngos in the Development Landscape of India Paperback, VDM Verlag
Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I..., Springer
151,880원
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods I..., Springer
189,280원
Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods I..., Springer
144,480원
VDM ''88. VDM - The Way Ahead: 2nd VDM-Europe Symposium Dublin Ireland September 11-16 1988. Proceedings Paperback, Springer
81,760원
Development of a Formal Framework for Usable Operations Support Paperback, VDM Verlag
93,120원
Participatory International Development Evaluation Paperback, VDM Verlag
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe Copenha..., Springer
Customized Agile Development Process for Embedded Software Development Paperback, VDM Verlag
Fme ''93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe O..., Springer
74,640원
Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer
122,080원
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in..., Springer
Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods I..., Springer
77,280원
A Software Development Methodology for Evolutionary Systems Paperback, VDM Verlag
40,320원
The Zynq Book (Chinese Version): Embedded Processing with the Arm Cortex-A9 on the Xilinx Zynq-7000 Al..., Strathclyde Academic Media
41,460원
Learning Fpgas: Digital Design for Beginners With Mojo and Lucid Hdl, Oreilly & Associates Inc
100,780원
Logic-Based Program Synthesis and Transformation: 17th International Symposium Lopstr 2007 Kongens L..., Springer
80,640원
Reversible Computation: 7th International Conference Rc 2015 Grenoble France July 16-17 2015 Proceedings Paperback, Springer
Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference Tacas..., Springer
39,140원
Embedded Design Using Programmable Gate Arrays Paperback, Bookstand Publishing
167,980원
On-Chip High-Voltage Generator Design: Design Methodology for Charge Pumps Hardcover, Springer
178,080원
Field-Programmable Logic and Applications: 11th International Conference Fpl 2001 Belfast Northern ..., Springer
222,880원
System Specification & Design Languages: Best of Fdl''02 Hardcover, Springer
Fst Tcs 2002: Foundations of Software Technology and Theoretical Computer Science: 22nd Conference Kan…, Springer
Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference PSI 2006 Nov..., Springer
Field Programmable Logic and Applications: 9th International Workshops Fpl''99 Glasgow UK August 30 - September 1 1999 Proceedings Paperback, Springer
207,200원
Field-Programmable Gate Array (FPGA) Technologies for High Performance Instrumentation Hardcover, Engineering Science Reference
Abstract State Machines - Theory and Applications: International Workshop ASM 2000 Monte Verita Swit..., Springer
84,300원
Transactions on High-Performance Embedded Architectures and Compilers V Paperback, Springer
57,100원
Reversible Computation: Extending Horizons of Computing: Selected Results of the Cost Action Ic1405 Paperback, Springer
6,700원
Draw & Colour Robots: 100 Pages of educational robot fun for children ages 6 to 12 Paperback, Independently Published, English, 9798555976048
79,400원
Reversible Computation: 12th International Conference Rc 2020 Oslo Norway July 9-10 2020 Proce... Paperback, Springer
134,380원
Advanced ASIC Chip Synthesis: Using Synopsys(r) Design Compiler(tm) and Primetime(r) Paperback, Springer
223,980원
Principles of Verifiable Rtl Design: A Functional Coding Style Supporting Verification Processes in Verilog Paperback, Springer
502,880원
Multilayer Ceramic Substrate - Technology for VLSI Package/Multichip Module: Ceramic Research and Development in Japan Hardcover, Springer
201,580원
Advanced ASIC Chip Synthesis: Using Synopsys(r) Design Compiler(tm) Physical Compiler(tm) and Primetime(r) Paperback, Springer
56,900원
Tools and Algorithms for the Construction and Analysis of Systems Hardcover, Saint Philip Street Press, English, 9781013271212
45,500원
Tools and Algorithms for the Construction and Analysis of Systems Paperback, Saint Philip Street Press, English, 9781013271205
Foundations of Software Technology and Theoretical Computer Science: 15th Conference; Bangalore India December 1995. Proceedings Paperback, Springer
234,080원
Statistical Modeling for Computer-Aided Design of Mos VLSI Circuits Paperback, Springer
246,380원
Practical Low Power Digital VLSI Design Hardcover, Springer
278,880원
Assertion-Based Design Paperback, Springer
279,980원
Energy Scavenging for Wireless Sensor Networks: With Special Focus on Vibrations Hardcover, Springer
301,280원
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques Hardcover, Springer
Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Techniques Paperback, Springer
313,580원
Design of Low-Voltage Low-Power Operational Amplifier Cells Hardcover, Springer
381,920원
NMR Techniques in Catalysis Hardcover, CRC Press
A Survey of High-Level Synthesis Systems Paperback, Springer
Adapting Proofs-As-Programs: The Curry--Howard Protocol Paperback, Springer
Verification Model Checking and Abstract Interpretation: 7th International Conference Vmcai 2006 C..., Springer