The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Programming Languages Compilers Interpreters » Page 343
Middleware 2004: ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. Proceedings
djvu
Author:
Elias Sinderson Vish Magapu Ronald Mak (auth.) Hans-Arno Jacobsen (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
0
0
Read online
Middleware 2004: ACM/IFIP/USENIX International Middleware Conference, Toronto, Canada, October 18-22, 2004. Proceedings
djvu
Author:
Elias Sinderson Vish Magapu Ronald Mak (auth.) Hans-Arno Jacobsen (eds.)
Language:
English
Year:
2004
0
0
26.01.2024
3
0
Read online
Middleware 2007: ACM/IFIP/USENIX 8th International Middleware Conference, Newport Beach, CA, USA, November 26-30, 2007. Proceedings
pdf
Author:
Jan S. Rellermeyer Gustavo Alonso Timothy Roscoe (auth.) Renato Cerqueira Roy H. Campbell (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
1
0
Read online
Model-Based Testing of Reactive Systems: Advanced Lectures
pdf
Author:
Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker Alexander Pretschner (auth.) Manfred Broy Bengt Jonsson Joost-Pieter Katoen Martin Leucker Alexander Pretschner (eds.)
Language:
English
Year:
2005
0
0
26.01.2024
0
0
Read online
Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings
pdf
Author:
Edmund M. Clarke (auth.) Dragan Bošnački Stefan Leue (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
1
0
Read online
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
pdf
Author:
Matthew B. Dwyer Rahul Purandare (auth.) Klaus Havelund Rupak Majumdar Jens Palsberg (eds.)
Language:
English
Year:
2008
0
0
26.01.2024
1
0
Read online
Model Driven Engineering Languages and Systems: 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings
pdf
Author:
Perdita Stevens (auth.) Gregor Engels Bill Opdyke Douglas C. Schmidt Frank Weil (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
0
0
Read online
Models in Software Engineering: Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers
pdf
Author:
Jörg Kienzle Dominik Stein Walter Cazzola Jeff Gray Omar Aldawud Tzilla Elrad (auth.) Thomas Kühne (eds.)
Language:
English
Year:
2007
0
0
26.01.2024
3
0
Read online
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
djvu
Author:
Markus Müller-Olm (auth.)
Language:
English
Year:
1997
0
0
26.01.2024
0
0
Read online
Modular Specification and Verification of Object-Oriented Programs
pdf
Author:
Peter Müller (eds.)
Language:
English
Year:
2002
0
0
26.01.2024
0
0
Read online
1
...
339
340
341
342
343
344
345
346
347
...
377
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через
