SDL (Computer program language) - Congresses.

System analysis and modeling = about models : 6th international workshop, SAM 2010, Oslo, Norway, October 4-5, 2010 : revised selected papers / by: (Language materials, printed)

SDL 2009 = design for motes and mobiles : 14th International SDL Forum, Bochum, Germany, September 22-24, 2009 : proceedings / by: (Language materials, printed)

SDL 2003 = system design : 11th international SDL Forum, Stuttgart, Germany, July 1-4, 2003 : proceedings / by: (Language materials, printed)

Telecommunications and beyond = the broader applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002 : revised papers / by: (Language materials, printed)

SDL '99, the next millennium = proceedings of the ninth SDL Forum, Montréal, Québec, Canada, 21-25, 1999 / by: (Language materials, printed)

Practical TLA+ = planning driven development / by: (Language materials, printed)

Computer Communication Networks.

Programming Techniques.

Computer Systems Organization and Communication Networks.

Information Systems Applications (incl.Internet)

Logics and Meanings of Programs.

Communications software

Programming Languages, Compilers, Interpreters.

System analysis

Software Engineering.

SDL (Computer program language)

Real-time data processing

Computer Science.

Management of Computing and Information Systems.

Special Purpose and Application-Based Systems.

Electronic data processing

Programming languages (Electronic computers)

Telecommunication