Поиск
На сайте: 566702 статей, 285463 фото.

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»книга ???? года.

Содержание

Содержание

От издателя

«…»

Рецензии

См. также

Ссылки