The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Software Engineering,Programming Languages Compilers Interpreters,Operating Systems,Logics and Meani » Page 15
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
Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings
pdf
Author:
Mikołaj Bojańczyk Sławomir Lasota (auth.) Alain Finkel Jérôme Leroux Igor Potapov (eds.)
Language:
English
Year:
2012
0
0
06.02.2024
0
0
Read online
Testing Software and Systems: 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
pdf
Author:
Eduard Paul Enoiu Daniel Sundmark Paul Pettersson (auth.) Hüsnü Yenigün Cemal Yilmaz Andreas Ulrich (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Formal Methods and Software Engineering: 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings
pdf
Author:
Carroll C. Morgan (auth.) Lindsay Groves Jing Sun (eds.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
Using Microsoft Dynamics AX 2012: Updated for Version R2
pdf
Author:
Dr. Andreas Luszczak (auth.)
Language:
English
Year:
2013
0
0
06.02.2024
0
0
Read online
25 Years of Model Checking History, Achievements, Perspectives
pdf
Author:
Grumberg Orna.
,
Veith Helmut
Language:
English
Year:
2008
0
0
06.02.2024
0
0
Read online
1
...
11
12
13
14
15
16
17
18
19
...
377
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
