Software engineering. 2, Specification of systems and languages

• Tác giả: D Bjørner
• Ngôn ngữ: eng
• ISBN-10: 3540211500
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Germany : Springer-Verlag Berlin Heidelberg, 2006
• Mô tả vật lý: xxiv, 777 p. : , ill. ; , 24 c
• Bộ sưu tập: Công nghệ thông tin
• ID: 47764
• Chủ đề: 1. Computer programmin; 2. Software engineerin

Includes bibliographical references (p. [751]-777) and indexe