도서/음반/DVD > 해외도서 > 컴퓨터 > 소프트웨어 > 소프트웨어 개발
174,280원
역대최고가 189,280원
최근평균가 174,280원
역대최저가 160,880원
▼
이 포스팅은 쿠팡 파트너스 활동의 일환으로,이에 따른 일정액의 수수료를 제공받습니다.
더보기
185,480원
Fme ''94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe..., Springer
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
166,880원
Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer
180,480원
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy September 8-14 2003 Proceedings Paperback, Springer
Fme ''97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symp..., Springer
155,680원
VDM ''90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Euro..., Springer
95,880원
Formal Methods for Components and Objects: Third International Symposium Fmco 2004 Leiden the Nethe..., Springer
74,640원
Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer
83,940원
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design..., Springer
193,400원
(영문도서) Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Meth... Paperback, Springer, English, 9783030575113
310,300원
(영문도서) Formal Methods in Architecture: Proceedings of the 6th International Symposium on Formal Meth... Hardcover, Springer, English, 9789819922161
FM 2005: Formal Methods: International Symposium of Formal Methods Europe Newcastle UK July 18-22 2005 Proceedings Paperback, Springer
211,680원
Industrial-Strength Formal Methods in Practice Paperback, Springer
106,400원
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods ..., Springer
119,840원
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods ..., Springer
85,780원
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods SBMF 2010 N..., 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
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Joi..., Springer
146,880원
FM 2006: Formal Methods: 14th International Symposium on Formal Methods Hamilton Canada August 21-27 2006 Proceedings Paperback, 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
FM 2008: Formal Methods: 15th International Symposium on Formal Methods Turku Finland May 26-30 2008 Proceedings Paperback, 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
100,780원
Leveraging Applications of Formal Methods: First International Symposium ISoLA 2004 Paphos Cyprus ..., Springer
110,880원
Teaching Formal Methods: Colognet/Fme Symposium Tfm 2004 Ghent Belgium November 18-19 2004. Proceedings Paperback, Springer
122,080원
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in..., Springer
80,640원
Formal Methods for Components and Objects: 11th International Symposium Fmco 2012 Bertinoro Italy ..., Springer
6,630원
The Aging Tidal Wave: How the Baby Boomers Will Swamp Long Term Care and the 3 Steps You Can Take to P..., Createspace Independent Publishing Platform
90,700원
Early Aspects: Current Challenges and Future Directions: 10th International Workshop Vancouver Canad..., Springer
78,380원
Pearl 89 -- Workshop Uber Realzeitsysteme: 10. Fachtagung Des Pearl-Vereins E.V. Unter Mitwirkung Von ..., Springer
Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design o..., Springer
Fundamental Approaches to Software Engineering: 17th International Conference Fase 2014 Held as Part..., Springer
130,500원
A First Course in Control System Design Hardcover, River Publishers
101,400원
NASA Formal Methods: 12th International Symposium Nfm 2020 Moffett Field Ca Usa May 11-15 2020... Paperback, Springer
Scientific Engineering of Distributed Java Applications: 4th International Workshop Fidji 2004 Luxem..., Springer
107,080원
Compiler Construction: 19th International Conference CC 2010 Held as Part of the Joint European Conf..., Springer
72,380원
GI/Ocg/Ogi-Jahrestagung 1985: Wirtschaftsuniversitat Wien Ubersichtsbeitrage Und Fachgesprache Zu Den ..., Springer
Notizen Zu C++ Hardcover, Springer
90,280원
Coordination Models and Languages: 15th International Conference Coordination 2013 Held as a Part of..., Springer
Service Availability: Second International Service Availability Symposium Isas 2005 Berlin Germany ..., Springer
Service Availability: First International Service Availability Symposium Isas 2004 Munich Germany ..., Springer
Self-Organizing Architectures: First International Workshop Soar 2009 Cambridge UK September 14 2..., Springer
Shifting Paradigms in Software Engineering: Proceedings of the 7th Joint Conference of the Austrian Co..., Springer
Systematic Reuse: Issues in Initiating and Improving a Reuse Program: Proceedings of the International..., Springer
Applications of Graph Transformations with Industrial Relevance: International Workshop Agtive''99 Ker..., Springer
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference Tacas..., Springer
219,080원
Information Networking. Networking Technologies for Broadband and Mobile Networks: International Confe..., Springer
118,280원
Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop Taca..., Springer
88,080원
Requirements Engineering: Foundation for Software Quality: 23rd International Working Conference Refs..., Springer
Evaluation of Novel Approaches to Software Engineering: 11th International Conference Enase 2016 Rom..., Springer
Distributed Applications and Interoperable Systems: 5th Ifip Wg 6.1 International Conference Dais 200..., Springer
Coordination Models and Languages: 12th International Conference COORDINATION 2010 Amsterdam The Net..., Springer
Reliable Software Technologies -- ADA-Europe 2006: 11th ADA-Europe International Conference on Reliabl..., Springer
Rapid Integration of Software Engineering Techniques: First International Workshop Rise 2004 Luxembo..., Springer
Advances in Software Engineering Techniques: 4th IFIP TC 2 Central and East European Conference Paperback, Springer
Reliable Software Technologies - ADA-Europe 2007: 12th ADA-Europe International Conference on Reliable..., Springer
83,580원
Agentenorientierte Softwareentwicklung: Methoden und Tools, Springer
301,280원
Computer and Computing Technologies in Agriculture Volume II: First IFIP TC 12 International Conferen..., Springer
245,280원
Cutting-Edge Research Topics on Multiple Criteria Decision Making: 20th International Conference MCDM..., Springer
72,780원
Chatbots in Der Kundenkommunikation Hardcover, Springer
Software Engineering - Esec ''93: 4th European Software Engineering Conference Garmisch-Partenkirchen ..., Springer
Foundations of Software Technology and Theoretical Computer Science: Tenth Conference Bangalore Indi..., Springer