도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
122,080원
역대최고가 122,080원
최근평균가 122,080원
역대최저가 122,080원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
Introduction to Formal Hardware Verification Hardcover, Springer
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
95,880원
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
222,880원
Advanced Formal Verification Paperback, Springer
190,380원
A Formal Approach to Hardware Design Paperback, Springer
148,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030871833
116,600원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Paperback, Springer, English, 9783030070489
245,280원
Formal Verification of Circuits Paperback, Springer
Advanced Formal Verification Hardcover, Springer
223,980원
A Formal Approach to Hardware Design Hardcover, Springer
241,480원
The E Hardware Verification Language Paperback, Springer
198,200원
(영문도서) Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Hardcover, Springer, English, 9783030871802
Introduction to Formal Grammars Paperback, Springer
119,380원
Scalable Techniques for Formal Verification Paperback, Springer
230,280원
Formal Verification of Circuits Hardcover, Springer
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Paperback, Springer
134,380원
Scalable Hardware Verification with Symbolic Simulation Paperback, Springer
Hardware and Software: Verification and Testing Paperback, Springer
110,880원
234,080원
Verification by Error Modeling: Using Testing Techniques in Hardware Verification Paperback, Springer
189,280원
A Roadmap for Formal Property Verification Paperback, Springer
167,980원
Scalable Techniques for Formal Verification Hardcover, Springer
SAT-Based Scalable Formal Verification Solutions Paperback, Springer
286,280원
The E Hardware Verification Language Hardcover, Springer
144,480원
Practical Formal Methods for Hardware Design Paperback, Springer
Introduction to Hardware Security and Trust Paperback, Springer
313,580원
Hardware/Software Co-Design and Co-Verification Paperback, Springer
256,480원
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Hardcover, Springer
85,300원
(영문도서) Introduction to Formal Philosophy Paperback, Springer
An Introduction to Formal Language Theory Paperback, Springer
Verification by Error Modeling: Using Testing Techniques in Hardware Verification Hardcover, Springer
156,780원
Scalable Hardware Verification with Symbolic Simulation Hardcover, Springer
141,780원
Symbolic Simulation Methods for Industrial Formal Verification Paperback, Springer
232,960원
Advances in Hardware Design and Verification Hardcover, Springer
SAT-Based Scalable Formal Verification Solutions Hardcover, Springer
111,980원
A Practical Introduction to Hardware/Software Codesign Paperback, Springer
67,200원
Software Engineering: International Summer Schools Laser 2013-2014 Elba Italy Revised Tutorial Lectures Paperback, Springer
Software Engineering for Self-Adaptive Systems Paperback, Springer
61,580원
Pragmatic Evaluation of Software Architectures Paperback, Springer
134,160원
Tools for High Performance Computing, Springer-Verlag New York Inc
346,080원
Error Control and Adaptivity in Scientific Computing Hardcover, Springer
Software Engineering for Parallel and Distributed Systems Hardcover, Springer
134,390원
Software Engineering: Design Theory and Practice Hardcover, NY Research Press
78,380원
Die X/Motif Umgebung: Eine Einfuhrung Fur Anwender Und Systemverwalter Paperback, Springer
55,980원
Konzepte Objektorientierter Programmierung: Mit Einer Einfuhrung in Java Paperback, Springer
87,300원
FORTRAN 90 for Engineers Paperback, Wiley
39,900원
Selected Papers from the 14th Estuarine and Coastal Modeling Conference Paperback, Mdpi AG
8,550원
100 Questions and Answers to Help You Land Your Dream Android Job: Or to Hire the Right Candidate! Paperback, Createspace
155,680원
High Performance Computing HIPC 2005 Paperback, Springer
42,150원
Pro LCS: Live Communications Server Administration Paperback, Apress
278,880원
Foundations of Dependable Computing: System Implementation Paperback, Springer
323,680원
New Perspectives on Information Systems Development: Theory Methods and Practice Hardcover, Springer
Dependability: Basic Concepts and Terminology: In English French German Italian and Japanese Paperback, Springer
158,080원
Performance Analysis and Optimization of Multi-Traffic on Communication Networks Paperback, Springer
89,590원
Design Theory and Computer Science: Processes and Methodology of Computer Systems Design Paperback, Cambridge University Press
38,160원
Curso de Ingenieria de Software: 2a Edicion Paperback, Createspace Independent Publishing Platform
Programming with Python Hardcover, Springer
Transactions on Aspect-Oriented Software Development VIII Paperback, Springer
28,640원
50 More Tips & Tricks for Dynamics Ax 2012 Paperback, Createspace
140,110원
Qos Management of Web Services, Springer-Verlag New York Inc
Language Constructs for Describing Features: Proceedings of the Fireworks Workshop Paperback, Springer
The Definitive Guide to Magento Paperback, Apress
Mastering Redmine Paperback, Packt Publishing
33,310원
Agile Project Management with Kanban, Microsoft Pr
54,600원
Assembly Language Step-by-Step 3/e : Programming With Linux, Wiley
90,860원
Testing Object-Oriented Software Paperback, Wiley-IEEE Computer Society PR
114,180원
Software Engineering Risk Management Hardcover, Wiley-IEEE Computer Society PR
67,180원
The Definitive Guide to Jython: Python for Java Platform Paperback, Apress
33,600원
Memory Dump Analysis Anthology Volume 3 Paperback, Opentask
Liferay Portal 5.2 Systems Development, Packt Publishing
51,060원
Foundations of Parallel Programming, Cambridge University Press
Das Integrierte Betriebsmittelwesen -- Baustein Einer Flexiblen Fertigung Paperback, Springer