FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)

Книги на иностранных языках → На английском → Компьютеры и ИТ → Искуственный интеллект → Новинки Интеллекта
FM 2005: Formal Methods: International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings (Lecture Notes in Computer Science)
Автор
 
Год
 
Страниц
 
558
ISBN
 
3540278826
Издатель
 
Springer
Категория
 
Новинки Интеллекта

Описание:

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.

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

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)
Автор: Neil D. Jones, Markus Müller-Olm
Год: 2009
Declarative Programming for Knowledge Management, 16 conf., INAP 2005Declarative Programming for Knowledge Management, 16 conf., INAP 2005
Год: 2007
Hierarchical and Geometrical Methods in Scientific VisualizationHierarchical and Geometrical Methods in Scientific Visualization
Автор: G. Farin, Bernd Hamann, Hans Hagen, H. Hagen, Gerald E. Farin, B. Hamann
Год: 2001
Computational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited ... / Lecture Notes in AComputational Logic in Multi-Agent Systems: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected and Invited ... / Lecture Notes in A
Автор: Marimuthu Palaniswami
Год: 2005
Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 2003 : Proceedings (Lecture Notes in Computer Science, 2842.)Algorithmic Learning Theory: 14th International Conference, Alt 2003, Sapporo, Japan, October 2003 : Proceedings (Lecture Notes in Computer Science, 2842.)
Автор: Alt 200, Ricard Gavalda, K. P. Jantke, Eiji Takimoto, Klaus P. Jantke
Год: 2000
Autonomous Intelligent Systems: Agents and Data Mining: International Workshop, AIS-ADM 2005 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)Autonomous Intelligent Systems: Agents and Data Mining: International Workshop, AIS-ADM 2005 (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Автор: Todd A. Jensen
Год: 2005