TY  - BOOK
AU  - Gomaa, Hassan
TI  - Software design methods for concurrent and real-time systems
T2  - The SEI series in software engineering
SN  - 9788131727096
PB  - New Delhi
KW  - ADARTS and CODARTS
KW  - Concurrent and realtime systems  Software design methods
KW  - DARTS
KW  - Jackson system development(JSD)
KW  - Realtime systems  Structured analysis and design
KW  - Robot controller
KW  - Software design methods
KW  - Software engineering
N1  - Includes glossary, bibliographical references and index
ER  -