도서/음반/DVD > 해외도서 > 컴퓨터 > 프로그래밍 > 로직 디자인
222,880원
역대최고가 222,880원
최근평균가 222,880원
역대최저가 189,440원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
System Specification & Design Languages: Best of Fdl''02 Hardcover, Springer
211,680원
System Specification and Design Languages: Selected Contributions from Fdl 2010 Paperback, Springer
System Specification and Design Languages: Selected Contributions from Fdl 2010 Hardcover, Springer
234,080원
Embedded Systems Specification and Design Languages: Selected Contributions from Fdl''07 Paperback, Springer
245,280원
System on Chip Design Languages: Extended Papers: Best of Fdl''01 and Hdlcon''01 Paperback, Springer
290,080원
Applications of Specification and Design Languages for Socs: Selected Papers from Fdl 2005 Paperback, Springer
Embedded Systems Specification and Design Languages: Selected Contributions from Fdl''07 Hardcover, Springer
275,080원
Applications of Specification and Design Languages for Socs: Selected Papers from Fdl 2005 Hardcover, Springer
235,280원
System on Chip Design Languages: Extended Papers: Best of Fdl''01 and Hdlcon''01 Hardcover, Springer
278,880원
Advances in Design and Specification Languages for Socs: Selected Contributions from Fdl''04 Paperback, Springer
Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from Fdl''06 Paperback, Springer
263,880원
Advances in Design and Specification Languages for Socs: Selected Contributions from Fdl''04 Hardcover, Springer
Advances in Design and Specification Languages for Embedded Systems: Selected Contributions from Fdl''06 Hardcover, Springer
179,180원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2013 Paperback, Springer
119,200원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2015 Paperback, Springer
223,980원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2013 Hardcover, Springer
122,080원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2016 Hardcover, Springer
179,800원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2017 Hardcover, Springer
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2015 Hardcover, Springer
High-Level System Modeling: Specification Languages Paperback, Springer
203,980원
Languages for Embedded Systems and Their Applications: Selected Contributions on Specification Design and Verification from Fdl''08 Paperback, Springer
78,600원
Languages Design Methods and Tools for Electronic System Design: Selected Contributions from Fdl 2018 Paperback, Springer, English, 9783030315870
High-Level System Modeling: Specification Languages Hardcover, Springer
267,680원
Logics of Specification Languages Paperback, Springer
High-Integrity System Specification and Design Paperback, Springer
257,680원
Logics of Specification Languages Hardcover, Springer
High-Level System Modeling: Specification and Design Methodologies Paperback, Springer
System-On-Chip Methodologies & Design Languages Paperback, Springer
High-Level System Modeling: Specification and Design Methodologies Hardcover, Springer
133,280원
Software Engineering 2: Specification of Systems and Languages Paperback, Springer
System-On-Chip Methodologies & Design Languages Hardcover, Springer
166,880원
Larch: Languages and Tools for Formal Specification Paperback, Springer
100,780원
Algebraic System Specification and Development Paperback, Springer
136,400원
Software Engineering: Specification Of Systems And Languages, Springer-Verlag New York Inc
Semantics of Specification Languages (Sosl): Proceedings of the International Workshop on Semantics of..., Springer
89,580원
Architectural Design: Conception and Specification of Interactive Systems Hardcover, Springer
78,340원
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
144,480원
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
Field-Programmable Logic: Architectures Synthesis and Applications: 4th International Workshop on Fie..., Springer
Verification Model Checking and Abstract Interpretation: 8th International Conference Vmcai 2007 N..., Springer
Mathematics of Program Construction: 8th International Conference MPC 2006 Kuressaare Estonia July 3-5 2006 Proceedings Paperback, Springer
Field-Programmable Logic and Applications: 5th International Workshop Fpl ''95 Oxford United Kingdom..., Springer
155,680원
Field-Programmable Logic and Applications. from FPGAs to Computing Paradigm: 8th International Worksho..., Springer
FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science: 27th International C..., Springer
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference Psi 2003 Ak..., Springer
189,280원
Integrated Circuit and System Design: Power and Timing Modeling Optimization and Simulation: 16th Int..., Springer
Fsttcs 2005: Foundations of Software Technology and Theoretical Computer Science: 25th International C..., Springer
VLSI Placement and Global Routing Using Simulated Annealing Paperback, Springer
178,080원
Integrated Formal Methods: 6th International Conference Ifm 2007 Oxford UK July 2-5 2007 Proceedings Paperback, Springer
190,380원
A Formal Approach to Hardware Design Paperback, Springer
Advanced Low-Power Digital Circuit Techniques Hardcover, Springer
A Formal Approach to Hardware Design Hardcover, Springer
Introduction to Analog VLSI Design Automation Paperback, Springer
Introduction to Analog VLSI Design Automation Hardcover, Springer
246,380원
Mixed Signal VLSI Wireless Design: Circuits and Systems Hardcover, Springer
257,580원
System-On-A-Chip Verification: Methodology and Techniques Hardcover, Springer
279,980원
Algorithms for Synthesis and Testing of Asynchronous Circuits Hardcover, Springer
28,560원
Propositional Logic as a Boolean Algebra - A New Perspective: Vol. 1 Paperback, Createspace Independent Publishing Platform
66,470원
Signal and Power Integrity in Digital Systems: TTL CMOS and BICMOS Hardcover, McGraw-Hill Companies
Logic Based Program Synthesis and Transformation: 15th International Symposium Paperback, Springer
110,880원
Compiler Construction: 15th International Conference CC 2006 Held as Part of the Joint European Conf..., Springer
Formal Methods for Components and Objects Paperback, Springer
Communicating Sequential Processes. the First 25 Years: Symposium on the Occasion of 25 Years of CSP ..., Springer
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer
Recent Trends in Algebraic Development Techniques: 18th International Workshop WADT 2006 La Roche En ..., Springer
Formal Approaches to Software Testing: 5th International Workshop Fates 2005 Edinburgh UK July 11 2005 Revised Selected Papers Paperback, Springer
100,740원
Verification of Sequential and Concurrent Programs Hardcover, Springer