174,280원
Fme ''96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Me..., Springer
166,880원
Fme ''97 Industrial Applications and Strengthened Foundations of Formal Methods: 4th International Symp..., Springer
180,480원
Fme 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy September 8-14 2003 Proceedings Paperback, 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
83,940원
Formal Methods for Software Architectures: Third International School on Formal Methods for the Design..., Springer
74,640원
Leveraging Applications of Formal Methods Verification and Validation: 6th International Symposium ..., Springer
193,400원
(영문도서) Formal Methods in Architecture: Proceedings of the 5th International Symposium on Formal Meth... Paperback, Springer, English, 9783030575113
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
85,780원
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods SBMF 2010 N..., Springer
106,400원
Formal Methods and Software Engineering: 19th International Conference on Formal Engineering Methods ..., Springer
185,480원
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
110,880원
Teaching Formal Methods: Colognet/Fme Symposium Tfm 2004 Ghent Belgium November 18-19 2004. Proceedings Paperback, Springer
151,880원
Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods I..., Springer
100,780원
Leveraging Applications of Formal Methods: First International Symposium ISoLA 2004 Paphos Cyprus ..., Springer
122,080원
Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in..., Springer
91,400원
Formal Methods and Software Engineering: 15th International Conference on Formal Engineeringmethods I..., Springer
80,640원
Formal Methods for Components and Objects: 11th International Symposium Fmco 2012 Bertinoro Italy ..., Springer
84,300원
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods... Paperback, Springer, English, 9783030634056
Formal Methods for Hardware Verification: 6th International School on Formal Methods for the Design of..., Springer
144,480원
NASA Formal Methods: Third International Symposium NFM 2011 Pasadena CA USA April 18-20 2011 Proceedings Paperback, Springer
Formal Methods for Components and Objects: 7th International Symposium FMCO 2008 Sophia Antipolis F..., Springer
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of..., Springer
95,140원
Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Comp..., Springer
190,380원
Symbolic Simulation Methods for Industrial Formal Verification Hardcover, Springer
119,840원
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for..., Springer
141,780원
Symbolic Simulation Methods for Industrial Formal Verification Paperback, Springer
107,080원
Applied Formal Methods - FM-Trends 98: International Workshop on Current Trends in Applied Formal Meth..., Springer
78,340원
Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Des..., Springer
133,280원
Formal Methods in Programming and Their Applications: International Conference Academgorodok Novosib..., Springer
Formal Methods for Model-Driven Engineering: 12th International School on Formal Methods for the Desig..., Springer
79,800원
Formal Methods for Industrial Critical Systems: 23rd International Conference Fmics 2018 Maynooth ... Paperback, Springer
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Des..., Springer
Formal Methods for Industrial Critical Systems: 12th International Workshop Fmics 2007 Berlin Germa..., Springer
Formal Methods for Performance Evaluation: 7th International School on Formal Methods for the Design o..., Springer
Formal Methods for Industrial Critical Systems: 14th International Workshop Fmics 2009 Eindhoven th..., Springer
Leveraging Applications of Formal Methods Verification and Validation: International Workshops Sars..., Springer
FM 2014: Formal Methods: 19th International Symposium Singapore May 12-16 2014. Proceedings Paperback, Springer
301,280원
Recent Advances in Formal Languages and Applications Hardcover, Springer
123,600원
Formal Methods: 22nd International Symposium FM 2018 Held as Part of the Federated Logic Conferenc... Paperback, Springer
Recent Advances in Formal Languages and Applications Paperback, Springer
FM''99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems Tou..., Springer
Formal Methods for Industrial Critical Systems: 13th International Workshop FMICS 2008 L''Aquila Ita..., Springer
105,800원
(영문도서) Formal Methods and Software Engineering: 20th International Conference on Formal Engineering ... Paperback, Springer, English, 9783030024499
79,000원
Formal Methods for Industrial Critical Systems: 25th International Conference Fmics 2020 Vienna A... Paperback, Springer
Formal Methods in Systems Engineering Paperback, Springer
FM 2015: Formal Methods: 20th International Symposium Oslo Norway June 24-26 2015 Proceedings Paperback, Springer
90,700원
Formal Methods for Industrial Critical Systems, Springer-Verlag New York Inc
FM 2012: Formal Methods: 18th International Symposium Paris France August 27-31 2012. Proceedings Paperback, Springer
129,480원
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala Swede..., Springer
190,670원
Modern Formal Methods and Applications Hardcover, Springer
Theory and Applications of Formal Argumentation: Third International Workshop Tafa 2015 Buenos Aires..., Springer
Formal Modeling and Analysis of Timed Systems: Third International Conference Formats 2005 Uppsala ..., Springer
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineerin..., Springer
234,080원
Modern Formal Methods and Applications Paperback, Springer
Formal Methods: Applications and Technology Paperback, Springer
Formal Methods: Foundations and Applications: 16th Brazilian Symposium Sbmf 2013 Brasilia Brazil S..., Springer
189,280원
Practical Reasoning: International Conference on Formal and Applied Practical Reasoning Fapr''96 Bonn..., Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium Ftrtft 2002 C..., Springer
111,980원
Formal Methods in Human-Computer Interaction Paperback, Springer
92,960원
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Soft..., Springer
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium Ftrtft''98 Lyn..., Springer
Formal Hardware Verification: Methods and Systems in Comparison Paperback, Springer
Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control Paperback, Springer
113,800원
(영문도서) Leveraging Applications of Formal Methods Verification and Validation. Industrial Practice: ... Paperback, Springer, English, 9783030034269
88,080원
Formal Aspects of Component Software: 11th International Symposium Facs 2014 Bertinoro Italy Septe..., Springer
Formal Methods for Components and Objects Paperback, Springer
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Us..., Springer
Integrated Formal Methods: Third International Conference Ifm 2002 Turku Finland May 15-18 2002. Proceedings. Paperback, Springer
99,790원
Formal Aspects of Component Software: 8th International Symposium Facs 2011 Oslo Norway September ..., Springer
79,600원
(영문도서) Formal Methods Teaching: Third International Workshop and Tutorial Fmtea 2019 Held as Part ... Paperback, Springer, English, 9783030324407
Recent Advances in the Psychology of Language: Formal and Experimental Approaches Paperback, Springer
85,200원
(영문도서) NASA Formal Methods: 13th International Symposium Nfm 2021 Virtual Event May 24-28 2021 ... Paperback, Springer
Formal Aspects in Security and Trust: Third International Workshop Fast 2005 Newcastle Upon Tyne UK..., Springer
Verification of Reactive Systems: Formal Methods and Algorithms Paperback, Springer
81,840원
NASA Formal Methods: 8th International Symposium Nfm 2016 Minneapolis MN USA June 7-9 2016 Proceedings Paperback, Springer
Formal Methods for Computational Systems Biology: 8th International School Paperback, Springer
101,400원
NASA Formal Methods: 12th International Symposium Nfm 2020 Moffett Field Ca Usa May 11-15 2020... Paperback, Springer
134,400원
(영문도서) Formal Methods: 24th International Symposium FM 2021 Virtual Event November 20-26 2021 P... Paperback, Springer
NASA Formal Methods: 7th International Symposium Nfm 2015 Pasadena CA USA April 27-29 2015 Proceedings Paperback, Springer
78,380원
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory a..., Springer
81,700원
(영문도서) Formal Methods for Industrial Critical Systems: 28th International Conference Fmics 2023 An... Paperback, Springer, English, 9783031436802
Formal Methods in Computer-Aided Design: First International Conference Fmcad ''96 Palo Alto CA USA November 6 - 8 1996 Proceedings Paperback, Springer
Web Services and Formal Methods: Third International Workshop WS-FM 2006 Vienna Austria September 8-9 2006 Proceedings Paperback, Springer
NASA Formal Methods: 10th International Symposium Nfm 2018 Newport News Va Usa April 17-19 2018 Proceedings Paperback, Springer
178,080원
Formal Methods: State of the Art and New Directions Hardcover, Springer
Formal Methods in Computer-Aided Design: Third International Conference Fmcad 2000 Austin TX USA November 1-3 2000 Proceedings Paperback, Springer
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Form..., Springer
222,880원
Foundations of Real-Time Computing: Formal Specifications and Methods Hardcover, Springer
156,780원
Formal Specification Level: Concepts Methods and Algorithms Hardcover, Springer
Formal Methods: State of the Art and New Directions Paperback, Springer