Fme 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003: Proceedings (книга)
| Fme 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003: Proceedings | |
| Автор: | Italy) International Symposium of Formal Methods Europe 2003 Pisa Keijiro Araki Stefania Gnesi Dino Mandrioli Dion Mandrioli |
|---|---|
| Оригинал издан: | ???? |
«Fme 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003: Proceedings» — книга ???? года.
Содержание |
Содержание 
От издателя
«…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
