도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 프로그래밍 일반
133,280원
역대최고가 133,280원
최근평균가 133,280원
역대최저가 113,280원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
Verification of Business Rules Programs Hardcover, Springer
100,740원
Verification of Sequential and Concurrent Programs Paperback, Springer
Verification of Sequential and Concurrent Programs Hardcover, Springer
44,780원
A Survey of Verification Techniques for Parallel Programs Paperback, Springer
100,880원
Modular Specification and Verification of Object-Oriented Programs Paperback, Springer
70,560원
Simplifying Runtime Verification of Distributed Programs Paperback, VDM Verlag
89,580원
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs Paperback, Springer Vieweg
245,280원
Formal Verification of Circuits Paperback, Springer
100,780원
Runtime Verification Paperback, Springer
107,080원
Specification and Verification of Concurrent Systems Paperback, Springer
178,080원
Verification of Digital and Hybrid Systems Paperback, Springer
230,280원
Formal Verification of Circuits Hardcover, Springer
166,880원
Temporal Verification of Reactive Systems: Safety Paperback, Springer
110,880원
Temporal Logic of Programs Paperback, Springer
145,580원
High-Level Verification: Methods and Tools for Verification of System-Level Designs Paperback, Springer
109,320원
Extending Key for the Verification of C Programs Paperback, VDM Verlag Dr. Mueller E.K.
234,080원
Constraint-Based Verification Paperback, Springer
211,680원
Professional Verification: A Guide to Advanced Functional Verification Paperback, Springer
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages Paperback, Springer
156,780원
Standardized Functional Verification Paperback, Springer
Modular Compiler Verification Paperback, Springer
96,700원
Leveraging Applications of Formal Methods Verification and Validation: Verification Principles: 9th... Paperback, Springer, English, 9783030613617
222,880원
Advanced Formal Verification Paperback, Springer
93,100원
Leveraging Applications of Formal Methods Verification and Validation. Verification: 8th Internatio... Paperback, Springer, English, 9783030034207
144,480원
Verification and Validation of Real-Time Software Paperback, Springer
Automatic Verification of Sequential Infinite-State Processes Paperback, Springer
246,380원
Writing Testbenches: Functional Verification of Hdl Models Paperback, Springer
Rules of Hope Paperback, Springer
Theory of Program Structures: Schemes Semantics Verification Paperback, Springer
Visualization of Scientific Parallel Programs Paperback, Springer
226,240원
Multiprocessor Execution of Logic Programs Paperback, Springer
175,380원
The Economics of Conservation Programs Paperback, Springer
122,080원
Parallel Execution of Logic Programs Paperback, Springer
179,180원
Open Verification Methodology Cookbook Paperback, Springer
150,300원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Verification Principl... Paperback, Springer, English, 9783031198489
33,590원
Programming the Semantic Web, Oreilly & Associates Inc
67,180원
Introduction to Software Quality Paperback, Springer
138,880원
Practical Software Testing: A Process-Oriented Approach Hardcover, Springer
An Introduction to PHP for Scientists and Engineers: Beyond JavaScript Paperback, Springer
11,420원
Scala Programming: Learning Scala Fast! Paperback, Createspace Independent Publishing Platform
14,270원
Software Repositories Interview Questions You''ll Most Likely Be Asked Paperback, Createspace Independent Publishing Platform
78,380원
Programmierumgebungen: Entwicklungswerkzeuge Und Programmiersprachen Paperback, Springer
120,960원
Fundamentals of Software Engineering: 6th International Conference Fsen 2015 Tehran Iran April 22-24 2015. Revised Selected Papers Paperback, Springer
74,980원
Open Source Fuzzing Tools Paperback, Syngress Publishing
Control Flow and Data Flow: Concepts of Distributed Programming: International Summer School Paperback, Springer
267,680원
Genetic Programming and Data Structures: Genetic Programming + Data Structures = Automatic Programming! Paperback, Springer
41,490원
User Interface Design Guidelines for J2me Midp 2.0 Paperback, Lulu.com
Wissensbasierte Systeme: 3. Internationaler GI-Kongre Munchen 16.-17. Oktober 1989 Proceedings Paperback, Springer
20,430원
Hacking/Python: 2 Books in 1: Paperback, Createspace Independent Publishing Platform
200,480원
Multiple Objective and Goal Programming: Recent Developments Paperback, Physica-Verlag
24,410원
Word 2003 Visual Basic Programming Paperback, Lulu.com
Sdl 2011: Integrating System and Software Modeling: 15th International Sdl Forum Toulouse France July 5-7 2011. Revised Papers Paperback, Springer
The Mathematica Guidebook for Programming Hardcover, Springer
99,790원
Architecting Dependable Systems VII, Springer-Verlag New York Inc
28,680원
Appcelerator Titanium: Patterns and Best Practices Paperback, Packt Publishing
C++: Grundlagen Und Programmierung Paperback, Springer
19,890원
Das Groe Python Workbook Paperback, Books on Demand
42,000원
Agile Documentation: A Pattern Guide to Producing Lightweight Documents for Software Projects Paperback, Wiley
Expert .Net Delivery Using NAnt and CruiseControl.Net Hardcover, Apress
Computer Aided Verification: 29th International Conference Cav 2017 Heidelberg Germany July 24-28 2017 Proceedings Part II Paperback, Springer
25,190원
97 Things Every Programmer Should Know: Collective Wisdom from the Experts, Oreilly & Associates Inc
25,150원
A to Z GIS: An Illustrated Dictionary of Geographic Information Systems, Esri Pr
161,280원
Tractability: Practical Approaches to Hard Problems Hardcover, Cambridge University Press
Advanced Information Systems Engineering: 11th International Conference Caise''99 Heidelberg Germany June 14-18 1999 Proceedings Paperback, Springer
57,000원
Learning Boost C++ Libraries Paperback, Packt Publishing
Computations in Algebraic Geometry with Macaulay 2 Hardcover, Springer
Implementation of Functional Languages: 13th International Workshop Ifl 2001 Stockholm Sweden September 24-26 2001 Selected Papers Paperback, Springer
33,580원
Building Great Software Engineering Teams: Recruiting Hiring and Managing Your Team from Startup to Success Paperback, Apress
33,380원
The Way to Go: A Thorough Introduction to the Go Programming Language Paperback, iUniverse
189,280원
Solving Higher-Order Equations: From Logic to Programming Hardcover, Birkhauser
Origins of Programming: Discourses on Methodology Paperback, Springer