The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Logics and Meanings of Programs,Pr » Page 15
Transactions on Aspect-Oriented Software Development VIII
pdf
Author:
Suman Roychoudhury Jeff Gray Frédéric Jouault (auth.) Shmuel Katz Mira Mezini Christine Schwanninger Wouter Joosen (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures
pdf
Author:
Gordon S. Blair Massimo Paolucci Paul Grace Nikolaos Georgantas (auth.) Marco Bernardo Valérie Issarny (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings
pdf
Author:
Jeffrey O’Leary (auth.) Alexander Romanovsky Tullio Vardanega (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
2
0
Read online
Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
pdf
Author:
Mariangiola Dezani-Ciancaglini Silvia Ghilezan Svetlana Jakšić Jovanka Pantović (auth.) Julio Mariño (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing
pdf
Author:
Martin Wirsing Matthias Hölzl Nora Koch Philip Mayer (auth.) Martin Wirsing Matthias Hölzl (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
0
0
Read online
NASA Formal Methods: Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings
pdf
Author:
K. Rustan M. Leino (auth.) Mihaela Bobaru Klaus Havelund Gerard J. Holzmann Rajeev Joshi (eds.)
Language:
English
Year:
2011
0
0
06.02.2024
1
0
Read online
Static Analysis: 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings
pdf
Author:
Gilles Barthe Benjamin Grégoire Santiago Zanella Béguelin (auth.) Antoine Miné David Schmidt (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Foundational and Practical Aspects of Resource Analysis: Second International Workshop, FOPARA 2011, Madrid, Spain, May 19, 2011, Revised Selected Papers
pdf
Author:
Ugo Dal Lago Paolo Parisen Toldin (auth.) Ricardo Peña Marko van Eekelen Olha Shkaravska (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
3
0
Read online
Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers
pdf
Author:
Anindya Banerjee (auth.) Bernhard Beckert Ferruccio Damiani Dilian Gurov (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Programming Languages: 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings
pdf
Author:
André Murbach Maidl Fabio Mascarenhas Roberto Ierusalimschy (auth.) André Rauber Du Bois Phil Trinder (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
1
...
11
12
13
14
15
16
17
18
19
...
379
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
