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 - Delhi KW - ADARTS and CODARTS KW - Concurrent and real-time systems Software design methods KW - DARTS KW - Jackson system development(JSD) KW - Real-time systems Structured analysis and design KW - Robot controller KW - Software design methods KW - Software engineering N1 - Includes bibliographical references and index ER -