94,080원

Formal Aspects of Component Software: 10th International Symposium Facs 2013 Nanchang China Octobe..., Springer

92,960원

Formal Aspects of Component Software: 8th International Symposium Facs 2011 Oslo Norway September ..., Springer

100,780원

Formal Aspects of Component Software: 7th International Workshop Facs 2010 Guimaraes Portugal Octo..., Springer

80,640원

Formal Aspects of Component Software: 13th International Conference Facs 2016 Besancon France Octo..., Springer

88,080원

Formal Aspects of Component Software: 12th International Conference Facs 2015 Niteroi Brazil Octob..., Springer

78,600원

Formal Aspects of Component Software: 15th International Conference Facs 2018 Pohang South Korea ... Paperback, Springer

80,640원

Formal Methods for Components and Objects: 11th International Symposium Fmco 2012 Bertinoro Italy ..., Springer

68,900원

(영문도서) Formal Aspects of Component Software: 20th International Conference Facs 2024 ... Paperback, Springer, English, 9783031712609

94,080원

Integrated Formal Methods: 11th International Conference Ifm 2014 Bertinoro Italy September 9-11 2014 Proceedings Paperback, Springer

61,600원

(영문도서) Formal Aspects of Component Software: 17th International Conference FACS 2021 Virtual Event... Paperback, Springer, English, 9783030906351

92,600원

(영문도서) Formal Aspects of Component Software: 18th International Conference Facs 2022 Virtual Event... Paperback, Springer, English, 9783031208713

94,000원

(영문도서) Formal Aspects of Component Software: 16th International Conference Facs 2019 Amsterdam th... Paperback, Springer, English, 9783030409135

81,100원

(영문도서) Formal Aspects of Component Software: 19th International Conference Facs 2023 Virtual Event... Paperback, Springer, English, 9783031521829

80,640원

Formal Aspects of Component Software: 14th International Conference Facs 2017 Braga Portugal October 10-13 2017 Proceedings Paperback, Springer

역대최저가

62,570원

Formal Aspects of Component Software, Springer-Verlag New York Inc

122,080원

Formal Aspects of Measurement: Proceedings of the BCS-Facs Workshop on Formal Aspects of Measurement ..., Springer

166,880원

Fme 2001: Formal Methods for Increasing Software Productivity: International Symposium of Formal Metho..., Springer

185,480원

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods I..., Springer

119,840원

Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer

80,640원

Formal Verification of Object-Oriented Software: International Conference Foveoo 2011 Turin Italy ..., Springer

100,780원

Software Engineering Education Going Agile: 11th China-Europe International Symposium on Software Engi..., Springer

155,680원

FM 2014: Formal Methods: 19th International Symposium Singapore May 12-16 2014. Proceedings Paperback, Springer

역대최저가

180,480원

Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy September 8-14 2003 Proceedings Paperback, Springer

214,700원

Ambient Intelligence - Software and Applications: 11th International Symposium on Ambient Intelligence Paperback, Springer

106,400원

Theoretical Aspects of Computing - Ictac 2014: 11th International Colloquium Bucharest Romania September 17-19 2014. Proceedings Paperback, Springer

95,880원

Generative and Component-Based Software Engineering: First International Symposium GCSE''99 Erfurt G..., Springer

106,400원

Quantitative Evaluation of Systems: 11th International Conference Qest 2014 Florence Italy September 8-10 2014 Proceedings Paperback, Springer

133,280원

Advances in Neural Networks - Isnn 2014: 11th International Symposium on Neural Networks Isnn 2014 H..., Springer

67,200원

Web Services Formal Methods and Behavioral Types: 11th International Workshop Ws-FM 2014 Eindhoven..., Springer

74,640원

Software Engineering in Health Care: 4th International Symposium Fhies 2014 and 6th International Wo..., Springer

155,680원

VDM ''90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Euro..., Springer

67,200원

Business Modeling and Software Design: 4th International Symposium Bmsd 2014 Luxembourg Luxembourg ..., Springer

역대최저가

90,780원

NASA Formal Methods: 6th International Symposium Nfm 2014 Houston TX USA April 29 - May 1 2014. Proceedings Paperback, Springer

106,400원

Software Engineering and Formal Methods: 12th International Conference Sefm 2014 Grenoble France September 1-5 2014 Proceedings Paperback, Springer

68,600원

(영문도서) Component-Based Software Engineering: 13th International Symposium Cbse 2010 Prague Czech ... Paperback, Springer, English, 9783642132377

213,000원

(영문도서) Formal Methods: 26th International Symposium FM 2024 Milan Italy September... Paperback, Springer, English, 9783031711763

107,080원

Fundamental Approaches to Software Engineering: 5th International Conference Fase 2002 Paperback, Springer

74,640원

Agile Processes in Software Engineering and Extreme Programming: 14th International Conference XP 201..., Springer

95,880원

Conceptual Modeling for User Interface Development Paperback, Springer

140,680원

Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conference ENASE 20..., Springer

41,990원

Spring Recipes: A Problem-Solution Approach Paperback, Apress

144,480원

Testing of Communicating Systems: 17th Ifip Tc 6/Wg 6.1 International Conference Testcom 2005 Montre..., Springer

95,880원

Software Engineering Approaches for Offshore and Outsourced Development: Third International Conferenc..., Springer

82,700원

Control of Imperfect Nonlinear Electromechanical Large Scale Systems: From Dynamics to Hardware Implem..., World Scientific Publishing Company

17,930원

Systems Architecture of Gas Leakage Detection Cloud Applications and Services Iot System: SBC Architec..., Createspace Independent Publishing Platform

151,880원

Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications ..., Springer

74,640원

Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer

95,880원

Formal Methods for Computational Systems Biology: 8th International School Paperback, Springer

94,080원

Analytical and Stochastic Modelling Techniques and Applications: 23rd International Conference Asmta ..., Springer

109,320원

Software Requirements: Closing the User-Developer Gap - Technical Writer as Facilitator Between User a..., VDM Verlag Dr. Mueller E.K.

140,680원

Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop Memics..., Springer

74,640원

Computer Performance Engineering: 9th European Workshop Epew 2012 Munich Germany July 30 2012 an..., Springer

110,880원

Empirical Software Engineering Issues. Critical Assessment and Future Directions: International Worksh..., Springer

185,480원

Adaptive and Natural Computing Algorithms: 8th International Conference Icannga 2007 Warsaw Poland ..., Springer

110,880원

Distributed Computing and Internet Technology: 5th International Conference Icdcit 2008 New Delhi In..., Springer

20,140원

Change Management Bei Software Projekten Paperback, Springer

104,840원

Advances in Service-Oriented and Cloud Computing: Workshops of Esocc 2015 Taormina Italy September ..., Springer

129,480원

Euro-Par 2010 - Parallel Processing: 16th International Euro-Par Conference Ischia Italy August 31 ..., Springer

174,280원

Fme ''96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Me..., Springer

107,080원

Models in Software Engineering: Workshops and Symposia at Models 2006 Genoa Italy October 1-6 2006..., Springer

95,880원

Fundamental Approaches to Software Engineering: Second International Conference Fase''99 Held as Part..., Springer

12,070원

Software System Design and Modeling: A Tutorial for Designing and Modeling Software Before Starting Co..., Createspace Independent Publishing Platform

122,080원

Fundamental Approaches to Software Engineering: 8th International Conference Fase 2005 Held as Part ..., Springer

95,880원

Object-Oriented Technology: Ecoop 2000 Workshop Reader: Ecoop 2000 Workshops Panels and Posters Soph..., Springer

74,640원

Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Co..., Springer

107,080원

Reliable Software Technologies ADA-Europe 2000: 5th ADA-Europe International Conference Potsdam Germa..., Springer

145,160원

Logic for Programming Artificial Intelligence and Reasoning: 19th International Conference Lpar-19 ..., Springer

85,780원

System Analysis and Modeling: Language Profiles: 5th International Workshop Sam 2006 Kaiserslautern ..., Springer

88,080원

Languages and Compilers for Parallel Computing: 27th International Workshop Lcpc 2014 Hillsboro Or ..., Springer

91,400원

NASA Formal Methods: 10th International Symposium Nfm 2018 Newport News Va Usa April 17-19 2018 Proceedings Paperback, Springer

61,200원

Theory and Practice of Model Transformation: 10th International Conference Icmt 2017 Held as Part of..., Springer

144,480원

High Performance Computing Systems and Applications: 23rd International Symposium HPCS 2009 Kingston ..., Springer