Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Книги на иностранных языках → На английском → Компьютеры и ИТ → Поступления - 2009 г.
Integrated Formal Methods: 7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор
 
Год
 
Страниц
 
367
ISBN
 
3642002544
Издатель
 
Манн, Иванов и Фербер
Категория
 
Поступления - 2009 г.

Описание:

This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Dusseldorf, Germany in February 2009. The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.

Похожие книги

..
Год: 2007
Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings (Lecture Notes in Computer ... Applications, incl. Internet/Web, and HCI)Web Reasoning and Rule Systems: Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings (Lecture Notes in Computer ... Applications, incl. Internet/Web, and HCI)
Автор: Axel Polleres, Terrance Swift
Год: 2009
Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings (Lecture Notes ... Computer Science and General Issues)Stochastic Algorithms: Foundations and Applications: 5th International Symposium, SAGA 2009 Sapporo, Japan, October 26-28, 2009 Proceedings (Lecture Notes ... Computer Science and General Issues)
Автор: Osamu Watanabe, Thomas Zeugmann
Год: 2010
Progress in Cryptology - AFRICACRYPT 2010: Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings ... Computer Science / Security and Cryptology)Progress in Cryptology - AFRICACRYPT 2010: Third International Conference on Cryptology in Africa, Stellenbosch, South Africa, May 3-6, 2010, Proceedings ... Computer Science / Security and Cryptology)
Автор: Daniel J. Bernstein, Tanja Lange
Год: 2010
Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)Modelling Foundations and Applications: 6th European Conference, ECMFA 2010, Paris, France, June 15-18, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Автор: Thomas Kühne, Bran V. Selic, Marie-Pierre Gervais, Francois Terrier
Год: 2010
Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science)Advances in Information Retrieval: 24th BCS-IRSG European Colloquium on IR Research Glasgow, UK, March 25-27, 2002 Proceedings (Lecture Notes in Computer Science)
Автор: Fabio Crestani, Mark Girolami, C.J.van Rijsbergen
Год: 2002