도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
80,640원
역대최고가 80,640원
최근평균가 80,640원
역대최저가 68,540원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
74,640원
Hardware and Software: Verification and Testing: 8th International Haifa Verification Conference Hvc ..., Springer
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference Hvc ..., Springer
Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference Hvc..., Springer
94,080원
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference Hvc..., Springer
100,780원
Hardware and Software: Verification and Testing: 6th International Haifa Verification Conference Hvc ..., Springer
85,780원
Hardware and Software: Verification and Testing: 9th International Haifa Verification Conference Hvc ..., Springer
Hardware and Software: Verification and Testing: 12th International Haifa Verification Conference Hvc..., Springer
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference Hcv ..., Springer
95,880원
Hardware and Software Verification and Testing: First International Haifa Verification Conference Ha..., Springer
Hardware and Software Verification and Testing: Second International Haifa Verification Conference H..., Springer
Hardware and Software: Verification and Testing Paperback, Springer
110,880원
72,600원
Software Verification: 12th International Conference Vstte 2020 and 13th International Workshop N... Paperback, Springer
313,580원
Hardware/Software Co-Design and Co-Verification Paperback, Springer
Hardware/Software Co-Design and Co-Verification Hardcover, Springer
Verification Model Checking and Abstract Interpretation: 13th International Conference VMCAI 2012 ..., Springer
234,080원
Verification by Error Modeling: Using Testing Techniques in Hardware Verification Paperback, Springer
Verification by Error Modeling: Using Testing Techniques in Hardware Verification Hardcover, Springer
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops..., Springer
Software Quality Approaches: Testing Verification and Validation: Software Best Practice 1 Paperback, Springer
68,600원
(영문도서) Software Verification: 13th International Conference VSTTE 2021 New Haven CT USA October... Paperback, Springer, English, 9783030955601
232,960원
Advances in Hardware Design and Verification Hardcover, Springer
144,480원
Embedded Software Verification and Debugging Hardcover, Springer
223,980원
Sequential Logic Testing and Verification Hardcover, Springer
111,980원
Sequential Logic Testing and Verification Paperback, Springer
Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Research Working Conferen..., Springer
Interactive Systems. Design Specification and Verification: 13th International Workshop Dsvis 2006 ..., Springer
Formal Verification of Object-Oriented Software: International Conference Foveoo 2011 Turin Italy ..., Springer
Formal Verification of Object-Oriented Software: International Conference Foveoos 2010 Paris France..., Springer
91,400원
Automated Technology for Verification and Analysis: 13th International Symposium Atva 2015 Shanghai ..., Springer
245,280원
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Paperback, Springer
256,480원
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Hardcover, Springer
106,340원
Verification Validation and Testing in Software Engineering Hardcover, Idea Group Publishing
278,880원
Protocol Specification Testing and Verification XIV Paperback, Springer
Computer Aided Verification: 9th International Conference Cav''97 Haifa Israel June 22-25 1997 Proceedings Paperback, Springer
334,880원
Protocol Specification Testing and Verification XV Hardcover, Springer
The Dynamics of Global Sourcing: Perspectives and Practices: 6th Global Sourcing Workshop 2012 Courch..., Springer
Design and Implementation of Symbolic Computation Systems: International Symposium Disco ''92 Bath U..., Springer
78,380원
Echtzeitsimulation Zur Prozefuhrung Komplexer Systeme: Entwurf Und Realisierung Eines Systems Zur Inte..., Springer
Software Measurement: 25th International Workshop on Software Measurement and 10th International Confe..., Springer
122,080원
Models in Software Engineering: Workshops and Symposia at Models 2009 Denver Co USA October 4-9 2..., Springer
Advances in Conceptual Modeling - Challenging Perspectives: ER 2009 Workshops CoMoL ETheCoM FP-UML ..., Springer
67,200원
Risk Assessment and Risk-Driven Quality Assurance: 4th International Workshop Risk 2016 Held in Conj..., Springer
Software Quality - Ecsq 2002: Quality Connection - 7th European Conference on Software Quality Helsin..., Springer
78,340원
Objektorientierte Spezifikation Von Informationssystemen, Vieweg+teubner Verlag
33,590원
Beginning Smartphone Web Development: Building JavaScript CSS HTML and Ajax-Based Applications for i..., Apress
151,880원
Verified Software: Theories Tools Experiments: First IFIP TC 2/WG 2.3 Conference VSTTE 2005 Zurich..., Springer
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference Taca..., Springer
Zb 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z User..., Springer
160,560원
Memory as a Programming Concept in C and C++ Hardcover, Cambridge University Press
158,600원
Leveraging Applications of Formal Methods Verification and Validation: Foundational Techniques: 7th I..., Springer
219,080원
Independent Component Analysis and Blind Signal Separation: 6th International Conference Ica 2006 Ch..., Springer
21,030원
Producing Open Source Software: How to Run a Successful Free Software Project Paperback, O''Reilly Media
Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop SE..., Springer
Software Engineering in Health Care: 4th International Symposium Fhies 2014 and 6th International Wo..., Springer
Theory and Practice of Model Transformations: 9th International Conference Icmt 2016 Held as Part of..., Springer
72,380원
Reliable Software Technologies -- Ada-Europe 2012: 17th Ada-Europe International Conference on Reliabl..., Springer
CAD Fur Moduln Und Systeme in Der Elektronik: Entwurf Und Technologie, Springer
Effektiv Programmieren in C: Eine Beispielorientierte Einfuhrung, Vieweg+teubner Verlag
66,780원
Avatare: Digitale Sprecher Fur Business Und Marketing Paperback, Springer
61,180원
Abstract Software Specifications: 1979 Copenhagen Winter School January 22 - February 2 1979. Proceedings Paperback, Springer
Agile Processes in Software Engineering and Extreme Programming: 18th International Conference XP 201..., Springer
107,080원
Computer Safety Reliability and Security: 22nd International Conference Safecomp 2003 Edinburgh U..., Springer
Testing of Software and Communicating Systems: 19th IFIP TC6/WG6.1 International Conference TestCom 2..., Springer
Algebraic Methodology and Software Technology (Amast''93): Proceedings of the Third International Confe..., Springer
Measurement Modelling and Evaluation of Computing Systems and Dependability and Fault Tolerance Paperback, Springer
33,580원
Die It-Fabrik: Der Weg Zum Automatisierten It-Betrieb, Springer Vieweg
52,980원
The Agile Safety Case Hardcover, Springer
118,280원
Fundamental Approaches to Software Engineering: 9th International Conference Fase 2006 Paperback, Springer
Software Process Improvement and Capability Determination: 17th International Conference Spice 2017 ..., Springer
129,480원
Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference TACA..., Springer
Computer Performance Engineering: 7th European Performance Engineering Workshop EPEW 2010 Bertinoro ..., Springer