Algorithmische Sprache und Programmentwicklung
Book information
Similar books
Formal Methods: State of the Art and New Directions
2010 · PDF
Formal Aspects of Component Software: 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
2016 · PDF
The Design of Requirements Modelling Languages: How to Make Formalisms for Problem Solving in Requirements Engineering
2015 · PDF
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
2015 · PDF
Formal Aspects of Component Software: 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
2015 · PDF
From Requirements to Java in a Snap: Model-Driven Requirements Engineering in Practice
2015 · PDF
Formal Aspects of Component Software: 10th International Symposium, FACS 2013, Nanchang, China, October 27-29, 2013, Revised Selected Papers
2014 · PDF
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings
2014 · PDF