Вы здесь

Главная

программное обеспечение

Связанные издания:

Formal Aspects of Component Software: Revised Selected Papers/12th International Conference, FACS 2015, Niteroi, Brazil, October 2015
Formal Concept Analysis: Foundations and Applications
Formal Description Techniques and Software Engineering: Some Reflections after 2 Decades of Research
Formal Design and Verification of Real-Time Embedded Software
Formal Development of Reactive Systems
Formal Methods and Social Context in Software Development
Formal Methods and Software Engineering: Proc./6th International Conference on Formal Engineering Methods, ICFEM 2004. Seattle, WA, USA, November 2004
Formal Methods and Software Engineering: Proc./7th International Conference on Formal Engineering Methods, ICFEM 2005. Manchester, UK, November 2005
Formal Methods for Components and Objects: Revised Lectures/Third International Symposium, FMCO 2004. Leiden, The Netherlands, November 2004
Formal Methods for Components and Objects: Revised Papers/11th International Symposium, FMCO 2012, Bertinoro, Italy, September 2012
Formal Methods for Components and Objects: Revised Papers/9th International Symposium, FMCO 2010, Graz, Austria, November 2010
Formal Methods for Components and Objects: Revised Selected Papers/10th International Symposium, FMCO 2011, Turin, Italy, October 2011
Formal Methods for Eternal Networked Software System: Advanced Lectures/11th International School on Formal Methods for the Design of Computer..., SFM 2011, Bertinoro, Italy, June 2011
Formal Methods for Industrial Critical Systems: Proc./19th International Conference, FMICS 2014, Florence, Italy, September 2014
Formal Methods: Promises and Problems
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
Formal Modeling and Analysis of Advanced Scheduling Features in an Avionics RTOS
Formal, Model-Oriented Software Development Methods. From VDM to ProCoS & from RAISE to LaCoS
Formal Security Policy Verification of Distributed Component-Structured Software
Formal Specification of Large-Scale Software Objectives, Design Decisions and Experiences in a Concrete Software Project
Formal Techniques for Distributed Objects, Components, and Systems: Proc./34th IFIP WG 6.1 International Conference, FORTE 2014 Held as Part of the 9th International Federated Conference DisCoTec 2014, Berlin, Germany, June 2014
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
Forward and Backward Error Recovery in C++
Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: Revised Selected Papers/16th Monterey Workshop 2010, Redmont,WA,USA, March/April 2010
Foundations of Computing Software: Future Trends and Techniques for Development: Revised Selected Papers/15th Monterey Workshop 2008, Budapest, Hungary, September 2008
Foundations of Software Science and Computation Structures: Proc./5th Intern. Conf., FOSSACS 2002, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 2002
Foundations of Software Science and Computation Structures: Proc./Second Intern. Conf., FOSSACS 99, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 99. Amsterdam, The Netherlands, March 1999
Foundations of Software Technology and Theoretical Computer Science
Foundations of Software Technology and Theoretical Computer Science: Proc./15th Conf. Bangalore, India, December 1995
Foundations of Software Technology and Theoretical Computer Science: Proc./16th Conf. Hyderabad, India, December 1996
Foundations of Software Technology and Theoretical Computer Science: Proc./17th Conf. Kharagpur, India, December 1997
Foundations of Software Technology and Theoretical Computer Science: Proc./19th Conf. Chennai, India, December 1999
From Formal Techniques to Well-Founded Software Development Methods
From Use Cases to System Operation Specifications
From Wetware to Software: A Cybernetic Perspective of Self-adaptive Software
Function Point Sizing: Structure, Validaty and Applicability
Function preconditions in object oriented software
Fundamental Approaches to Software Engineering: Proc./13th International Conference, FASE 2010, Joint European Conferences, ETAPS 2010, Paphos, Cyprus, March 2010
Fundamental Approaches to Software Engineering: Proc./17th International Conference, FASE 2014 Held as Part of the ETAPS 2014, Grenoble, France, April 2014
Fundamental Approaches to Software Engineering: Proc./21st International Conference, FASE 2018 Held as Part of the European Joint Conference ETAPS 2018, Thessaloniki, Greece, April 2018
Fundamental Approaches to Software Engineering: Proc./8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005. Edinburgh, UK, April 2005
Fundamental Approaches to Software Engineering: Proc./9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006. Vienna, Austria, March 2006
Fundamentals of Software Engineering: Revised Selected Papers/7th International Conference, FSEN 2017, Tehran, Iran, April 2017
Future Internet Testing: Revised Selected Papers/1st International Workshop, FITTEST 2013, Istanbul, Turkey, November 2013
Future Trends of TAPSOFT
G1 - геометрическая системы программного обеспечения ЭВМ
Gaining Intellectual Control of Software Development
Games for UML Software Design
Gedanken zur Software-Explosion
Generalized Support Software: Domain Analysis and Implementation