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)