청구기호 |
QA76.758 .B626s 2006 |
형태사항 |
3 v. : ill. ; 24 cm.
|
언어 |
English |
서지주기 |
Includes bibliographical references and indexes.
|
내용 |
v.1. Abstraction and modelling. - v.2. Specification of systems and languages. - v.3.Domains,requirements,and software design
|
주제 |
Software engineering.
Computer programming.
|
LCCN |
2005936100
|
ISBN |
3540211497(v. 1)
3540211500(v. 2)
3540211519(v. 3)
|