Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering) ЕСТЕСТВЕННЫЕ НАУКИ, ПРОГРАММИНГ

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)

Название:Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised ... / Programming and Software Engineering)
Автор:Jim Davies, Leila Silva, Adenilso Simao
Издательство:Springer
ISBN:3642198287
Дата издания:2011-04-08
Страниц:299
Язык:Английский
Формат:PDF
Размер: 3,4 MB

This book constitutes the thoroughly refereed post-conference proceedings of the 13th Brazilian Symposium on Formal Methods, SBMF 2010, held in Natal, Brazil, in November 2010. The 18 revised full papers were carefully reviewed and selected from 55 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Скачать с DEPOSITFILES
Скачать с FILESONIC
Скачать с UPLOADING

"Мир книг"-является крупнейшим книжным сайтом. Тут представлено более 250 000 книг и журналов. Ежедневно сайт пополняется на 300 новых публикаций. Мы рекомендуем Вам зарегистрироваться либо зайти на сайт под своим именем.
Зарегистрироваться?

Поделиться ссылкой:

| Другие

Автор: NET_master | 28 марта 2011 | Авторские права (abuse)

Реклама

c сервера прямых загрузок рекламодателя с более чем 62,871,429 файлами.

Другие книги по теме:

Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010 ...
Название:Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers (Lecture Notes in Computer Science / Security and ... Скачать

Advances in Artificial Intelligence
Автор:Guilherme Bittencourt, Geber L. Ramalho Название: Advances in Artificial Intelligence Издательство:Springer Год: 2002 Кол-во страниц: 430 Формат: Pdf Размер: 6.6 MB Язык: Английский ... Скачать

Biomedical Image Registration: 4th International Workshop
Автор: Bernd Fischer, Benoit Dawant, Cristian Lorenz Название: Biomedical Image Registration: 4th International Workshop Издательство: Springer Год: 2010 Кол-во страниц: 280 Формат: Pdf ... Скачать

Computer Vision - ACCV 2010: 10th Asian Conference on Computer Vision, Quee ...
Название:Computer Vision - ACCV 2010: 10th Asian Conference on Computer Vision, Queenstown, New Zealand, November 8-12, 2010, Revised Selected Papers, Part IV ... Vision, Pattern Recognition, and ... Скачать

Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 ...
Название:Software Technologies for Embedded and Ubiquitous Systems: 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 7-8, ... Applications, incl. Internet/Web, and ... Скачать

Integrated Circuit and System Design. Power and Timing Modeling, Optimizati ...
Название:Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation: 15th International Workshop, PATMOS 2005, Leuven, ... / Programming and Software Engineering) ... Скачать

Service-Oriented Computing: ICSOC 2010 International Workshops PAASC, WESOA ...
Название:Service-Oriented Computing: ICSOC 2010 International Workshops PAASC, WESOA, SEE, and SC-LOG San Francisco, CA, USA, December 7-10, 2010, Revised ... / Programming and Software Engineering) ... Скачать

Algorithms - ESA 2011
Название: Algorithms - ESA 2011 Автор: Camil Demetrescu, Magnus M. Halldorsson Издательство: Springer ISBN: 3642237185 Год: 2011 Страниц: 820 Формат: PDF Размер: 8 Mb Язык: Английский This book ... Скачать

RoboCup 2009: Robot Soccer World Cup XIII
Название: RoboCup 2009: Robot Soccer World Cup XIII Автор: Baltes, J.; Lagoudakis, M.G.; Naruse, T.; Shiry, S. (Eds.) Издательство: Springer Год: 2010 Страниц: 474 ISBN: 978-3-642-11875-3 Формат: ... Скачать

Web Engineering
Название: Web Engineering Автор: Martin Gaedke, Michael Grossniklaus, Oscar Da̕z Издательство: Springer ISBN: 3642028179 Год: 2009 Страниц: 553 Формат: PDF Размер: 12 Mb Язык: Английский This ... Скачать

Scalable Techniques for Formal Verification
Название: Scalable Techniques for Formal Verification Издательство: Springer Автор: Sandip Ray Год: 2010 Количество страниц: 240 Формат: PDF Размер: 1 mb Язык: English This book presents ... Скачать

Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, ...
Название:Biomedical Simulation: 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) ... Скачать

Информация

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.