도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
166,880원
역대최고가 166,880원
최근평균가 166,880원
역대최저가 141,840원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
185,480원
Fme ''94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe..., Springer
174,280원
Fme ''93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe O..., Springer
163,080원
Fme 2002: Formal Methods - Getting It Right: International Symposium of Formal Methods Europe Copenha..., Springer
Fme ''96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Me..., Springer
180,480원
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy September 8-14 2003 Proceedings Paperback, Springer
83,940원
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design..., Springer
119,840원
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
100,780원
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Des..., Springer
106,400원
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods ..., Springer
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods ..., Springer
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
Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods ..., Springer
91,400원
Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods ..., Springer
140,680원
Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods I..., Springer
133,280원
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I..., Springer
Formal Methods and Software Engineering: 5th 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
Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods I..., Springer
Fme ''97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symp..., Springer
84,300원
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods... Paperback, Springer, English, 9783030634056
110,880원
Formal Foundations for Software Engineering Methods Paperback, Springer
155,680원
FM 2005: Formal Methods: International Symposium of Formal Methods Europe Newcastle UK July 18-22 2005 Proceedings Paperback, Springer
95,880원
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
VDM ''90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Euro..., Springer
74,640원
Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer
95,140원
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Comp..., Springer
Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Co..., Springer
78,340원
Formal Methods for Web Services: 9th International School on Formal Methods for the Design of Computer..., Springer
146,880원
FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton Canada August 21-27 2006 Proceedings Paperback, Springer
122,080원
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in..., Springer
Formal Methods and Software Engineering Paperback, Springer
44,740원
Programmverifikation: Sequentielle Parallele Und Verteilte Programme, Springer
Leveraging Applications of Formal Methods: First International Symposium ISoLA 2004 Paphos Cyprus ..., Springer
Types for Proofs and Programs: International Conference Types 2007 Cividale del Friuli Italy May 2-5 2007 Revised Selected Papers Paperback, Springer
Logic of Programs: Workshop Eth Zurich May-July 1979 Paperback, Springer
Logic-Based Program Synthesis and Transformation: 19th International Symposium Lopstr 2009 Coimbra ..., Springer
Formal Modeling and Analysis of Timed Systems: Third International Conference Formats 2005 Uppsala ..., Springer
Formal Modeling and Analysis of Timed Systems: 6th International Conference FORMATS 2008 Saint Malo ..., Springer
Rapid Prototyping of Digital Systems Paperback, Springer
80,640원
Computer Engineering and Technology: 21st Ccf Conference Nccet 2017 Xiamen China August 16-18 2017 Revised Selected Papers Paperback, Springer
81,700원
Chemical Vapor Deposition of Tungsten and Tungsten Silicides for VLSI/ ULSI Applications Hardcover, William Andrew
Category Theory and Computer Science: 6th International Conference Ctcs ''95 Cambridge United Kingdo..., Springer
Foundations of Software Technology and Theoretical Computer Science: 16th Conference Hyderabad India..., Springer
Advances in Computer Science - ASIAN 2006: Secure Software and Related Issues: 11th Asian Computing Sc..., Springer
Formal Modeling and Analysis of Timed Systems: 5th International Conference Formats 2007 Salzburg A..., Springer
Recent Trends in Algebraic Development Techniques: 19th International Workshop WADT 2008 Pisa Italy..., Springer
144,480원
Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation: 18th Int..., Springer
Correct Hardware Design and Verification Methods: 11th Ifip Wg 10.5 Advanced Research Working Conferen..., Springer
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference Taca..., Springer
Defect and Fault Tolerance in VLSI Systems: Volume 1 Paperback, Springer
Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Research Working Conferen..., Springer
Automated Technology for Verification and Analysis: 4th International Symposium ATVA 2006 Beijing C..., Springer
Foundations of Software Science and Computation Structures: 7th International Conference Fossacs 2004..., Springer
CONCUR 2007 - Concurrency Theory: 18th International Conference CONCUR 2007 Lisbon Portugal September 3-8 2007 Proceedings Paperback, Springer
200,480원
Integrated Circuit and System Design. Power and Timing Modeling Optimization and Simulation: 15th Int..., Springer
223,980원
Adaptive Resonance Theory Microchips: Circuit Design Techniques Hardcover, Springer
234,080원
An Artificial Intelligence Approach to Test Generation Paperback, Springer
246,380원
Functional Decomposition with Applications to FPGA Synthesis Hardcover, Springer
294,000원
Theory of CMOS Digital Circuits and Circuit Failures Hardcover, Princeton University Press
Types for Proofs and Programs: International Workshop Types 2006 Nottingham UK April 18-21 2006 Revised Selected Papers Paperback, Springer
Theoretische Informatik: Eine Problemorientierte Einfuhrung, Springer
Formal Modeling and Analysis of Timed Systems: 7th International Conference FORMATS 2009 Budapest H..., Springer
Algebraic Methodology and Software Technology: 11th International Conference Amast 2006 Kuressaare ..., Springer
Concur 2003 - Concurrency Theory: 14th International Conference Marseille France September 3-5 2003 Proceedings Paperback, Springer
55,980원
Logics of Programs: Workshop Yorktown Heights NY USA Paperback, Springer
Field-Programmable Logic Smart Applications New Paradigms and Compilers: 6th International Workshop ..., Springer
Computer Aided Verification: Fourth International Workshop Cav ''92 Montreal Canada June 29 - July 1 1992. Proceedings Paperback, Springer