The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 6582 : Programming and Software Engineering » Page 10
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
Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
pdf
Author:
Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings
pdf
Author:
Seyed H. (Hossein) Haeri Sibylle Schupp (auth.) Walter Binder Eric Bodden Welf Löwe (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
1
0
Read online
Dependable Computing: 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013. Proceedings
pdf
Author:
Alessia Garofalo Cesario Di Sarno Valerio Formicola (auth.) Marco Vieira João Carlos Cunha (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
End-User Development: 4th International Symposium, IS-EUD 2013, Copenhagen, Denmark, June 10-13, 2013. Proceedings
pdf
Author:
Mary Beth Rosson (auth.) Yvonne Dittrich Margaret Burnett Anders Mørch David Redmiles (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
1
...
6
7
8
9
10
11
12
13
14
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
