Liknande böcker

Leveraging Applications of Formal Methods, Verification, and Validation...
Bok av Tiziana. Margaria
Objects, Models, Components, Patterns
Bok av Jan. Vitek
Software Composition : 4th International Workshop, SC 2005, Edinburgh, U...
Bok av Thomas. Gschwind
Formal Techniques for Distributed Systems : Joint 12th IFIP WG 6.1 Inter...
Bok av John. Hatcliff
Programming Languages and Systems
Bok av Gilles. Barthe
Tools and Algorithms for the Construction and Analysis of Systems : 16th...
Bok av Javier. Esparza
Fundamental Approaches to Software Engineering : 14th International Conf...
Bok av Dimitra. Giannakopoulou
Modelling Foundations and Applications : 6th European Conference, ECMFA...
Bok av Thomas. Kühne

Testing – Practice and Research Techniques : 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings

Bok av Leonardo. Bottaci