Communication for development and social change [electronic resource] / edited by Jan Servaes.
Contributor(s): Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- 9788132108474 (ebook) :
- 338.90014 23
- HD76 .C6523 2008
No physical items for this record
Includes bibliographical references and index.
-
1
Automated Technology for Verification and Analysis
-
2
Runtime Verification
-
3
Distributed Computing and Networking
-
4
Software Engineering for Self-Adaptive Systems II
-
5
Formal Aspects of Component Software
-
6
Generative and Transformational Techniques in Software Engineering IV
-
7
Software Engineering
-
8
Aliasing in Object-Oriented Programming. Types, Analysis and Verification
-
9
Transactions on Aspect-Oriented Software Development X
-
10
Programming Languages and Systems
-
11
Languages and Compilers for Parallel Computing
-
12
NASA Formal Methods
-
13
Logic-Based Program Synthesis and Transformation
-
14
Transactions on Pattern Languages of Programming III
-
15
Programming Multi-Agent Systems
-
16
Static Analysis
-
17
Tests and Proofs
-
18
Safe and Secure Software Reuse
-
19
Modelling Foundations and Applications
-
20
ECOOP 2013 – Object-Oriented Programming
There are no comments on this title.