The
Lib
.net
Online Library TheLib.net
» Book serie: / Книги серии: Lecture Notes in Computer Science 6551 Programming and Software Engineering » Page 59
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers
pdf
Author:
Richard Hull Elio Damaggio Fabiana Fournier (auth.) Mario Bravetti Tevfik Bultan (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
FM 2009: Formal Methods: Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings
pdf
Author:
Michael Carl Tschantz Jeannette M. Wing (auth.) Ana Cavalcanti Dennis R. Dams (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
pdf
Author:
Michael Leuschel Jens Bendisposto (auth.) Jim Davies Leila Silva Adenilso Simao (eds.)
Language:
English
Year:
2011
0
0
27.01.2024
0
0
Read online
Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
pdf
Author:
Manfred Broy (auth.) Karin Breitman Ana Cavalcanti (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
Formal Methods and Software Engineering: 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
pdf
Author:
Kokichi Futatsugi (auth.) Jin Song Dong Huibiao Zhu (eds.)
Language:
English
Year:
2010
0
0
27.01.2024
1
0
Read online
Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures
pdf
Author:
Gilles Barthe Pierre Crégut Benjamin Grégoire Thomas Jensen David Pichardie (auth.) Frank S. de Boer Marcello M. Bonsangue Susanne Graf Willem-Paul de Roever (eds.)
Language:
English
Year:
2008
0
0
27.01.2024
2
0
Read online
Formal Methods for Components and Objects: 7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised Lectures
pdf
Author:
Christine Mayr Uwe Zdun Schahram Dustdar (auth.) Frank S. de Boer Marcello M. Bonsangue Eric Madelaine (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
5
0
Read online
Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
pdf
Author:
Ludovic Henrio Florian Kammüller Muhammad Uzair Khan (auth.) Frank S. de Boer Marcello M. Bonsangue Stefan Hallerstede Michael Leuschel (eds.)
Language:
English
Year:
2010
0
0
27.01.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
27.01.2024
1
0
Read online
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L’Aquila, Italy, September 15-16, 2008, Revised Selected Papers
pdf
Author:
Steven P. Miller (auth.) Darren Cofer Alessandro Fantechi (eds.)
Language:
English
Year:
2009
0
0
27.01.2024
0
0
Read online
1
...
55
56
57
58
59
60
61
62
63
...
104
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
