Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3-15 August 2004 /
Published in: | Springer e-books |
---|---|
Main Author: | Broy, Manfred |
Corporate Author: | SpringerLink (Online service) |
Other Authors: | Grünbauer, Johannes, Harel, David, Hoare, Tony |
Format: | eBook |
Language: | English |
Published: |
Dordrecht :
Springer,
2005.
|
Series: | NATO Science Series, Series II: Mathematics, Physics and Chemistry,
|
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/1-4020-3532-2 Перейти в каталог НБ ТГУ |
Similar Items
-
Central European Functional Programming School Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures /
by: Hutchison, David
Published: (2008) -
Safe and Secure Software Reuse 13th International Conference on Software Reuse, ICSR 2013, Pisa, June 18-20. Proceedings /
Published: (2013) -
Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures /
Published: (2014) -
Formal Modeling and Analysis of Timed Systems 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings /
by: Hutchison, David
Published: (2008) -
Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings /
by: Hutchison, David
Published: (2008)