Software Engineering. 1 [electronic resource] : Abstraction and Modelling

• Tác giả: D Bjørner
• Ngôn ngữ: eng
• ISBN-13: 978-3540211495
• ISBN-13: 978-3540312888
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006
• Bộ sưu tập: Công nghệ thông tin
• ID: 46996
• Chủ đề: 1. Computer programming; 2. Software engineering