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
Main Author: | Broy, M., 1949- |
---|---|
Other Authors: | GrΓΌnbauer, Johannes, Harel, David, 1950-, Hoare, Tony |
Format: | Electronic Kit Book |
Language: | English |
Published: |
Dordrecht
Springer
2005
|
Series: | NATO Science Series, Series II: Mathematics, Physics and Chemistry
195 |
Subjects: | |
Online Access: | http://dx.doi.org/10.1007/1-4020-3532-2 |
Similar Items
-
Modelling Autonomic Communication Environments 5th IEEE International Workshop, MACE 2010, Niagara Falls, Canada, October 28, 2010. Proceedings
by: Brennan, Rob
Published: (2010) -
Component-Based Software Testing with UML
by: Gross, Hans-Gerhard
Published: (2005) -
Transactions on Petri Nets and Other Models of Concurrency IV
by: Jensen, K. (Kurt), 1950-
Published: (2010) -
Architecting Dependable Systems VII
by: Casimiro, Antonio
Published: (2010) -
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
by: Petrenko, Alexandre
Published: (2010)