J. Tschannen - Bücher - alle Infos bei Yasni.de

(1 - 8 von 9

)

Proceedings of 5th International Conference in Software Engineering...

books.google.se

This book presents high-quality original contributions on new software engineering models, approaches, methods, and tools and their evaluation in the context...

Proceedings of 5th International Conference in Software ...books.google.fr › books

books.google.fr

N. Polikarpova, J. Tschannen, C.A. Furia, B. Meyer, Flexible invariants through semantic collaboration. In:Proceedings of the 19th International Symposium ...

Software Engineering and Formal Methods: 9th International...

books.google.se

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo,...

Tools and Algorithms for the Construction and Analysis of Systems:...

books.google.se

This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015,...

Tools and Algorithms for the Construction and Analysis of Systems: ...books.google.fr › books

books.google.fr

VSTTE LNCS, vol , pp. 84–98. Springer, Heidelberg (2008) An LTL Proof System for Runtime Verification Clare Cini and 580 J. Tschannen et al.

Tools for Practical Software Verification: International Summer...

books.google.se

In: Vitek, J. (ed.) TOOLS LNCS, vol , pp. 79–96. Springer, Heidelberg (2010) Nordio, 154 J. Tschannen et al.

Verified Software: Theorie, Tools, Experiments: 5th International ...books.google.fr › books

books.google.fr

37. Tschannen, J., Furia, C.A., Nordio, M., 168 J. Tschannen et al.

Verified Software: Theorie, Tools, Experiments: 5th International...

books.google.se

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and...

Verwandte Suchanfragen zu J. Tschannen

Personen
Vorname
Name "Tschannen" (79)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Bücher J. Tschannen