Разработка и проектирование программ. 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 King
Год: [не указано]
Издание: [не указанo]
Страниц: [не указано]
ISBN: 3540679448

Добавлено: 2013-10-22 15:56:59

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

Источник: Jonathan P. Bowen, Steve Dunne, Andy Galloway, Steve King, 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 Bert, Zb 2002: Formal Specification and Development in Z and B (Lecture Notes in Computer Science, 2272) 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 Conrad, Database 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) 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)

Видео о книгах:



Околостуденческое

Рейтинг@Mail.ru

© 2009-2024, Список Литературы