Список литературы
Генератор кроссвордов
Генератор титульных листов
Таблица истинности ONLINE
Прочие ONLINE сервисы
|
Разработка и проектирование программ. CASE-технологии
Список источников >Нехудожественная литература >Компьютерная литература >Разработка программного обеспечения >Разработка и проектирование программ. CASE-технологии >
Zb 2000: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 1878)
|
|
|
Похожие книги
Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve KingZb 2000: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 1878) |
France) International Conference of B and Z Users 2002 Grenoble, J. P. Bowen, M. C. Henson, K. Robinson, D. Bert, Didier BertZb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272) |
Herman Balsters, Bert De Brock, Stefan ConradDatabase Schema Evolution and Meta-Modeling: 9th International Workshop on Foundations of Models and Languages for Data and Objects, Fomlado/Demm-2000, Dagstuhl Castle, Germany, September 18-21, (Lecture Notes in Computer Science, 2065) |
-
Malenfant, Jacques Malenfant, Sabine Moisan, Ana M.D. Moreira, Ecoop 200, «Object-Oriented Technology: Ecoop 2000 Workshops, Panels and Posters, Sophia Antipolis and Cannes, France, June 12-16, 2000 : Proceedings (Lecture Notes in Computer Science, 1964)»
-
-
Ifip, IEEE International Workshop on Distributed Systems: Operations An, Seraphin B. Calo, Gautam Kar, «Services Management in Intelligent Networks: 11th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2000, Austin, Tx, Usa, December 4-6, 2000 , Proceedings (Lecture Notes in Computer Science, 1960)»
Видео о книгах:
|
|
|
|
|
Вход на сайт
Информация
В нашем каталоге
Околостуденческое
|