TY - BOOK ID - 1082961 TI - Formal specification and software development AU - Bjørner, Dines AU - Jones, Cliff B. PY - 1982 SN - 0133290034 9780133290035 PB - Englewood Cliffs: Prentice Hall, DB - UniCat KW - Programming KW - Computer software KW - Programming languages (Electronic computers) KW - Development KW - -Programming languages (Electronic computers) KW - 681.3*D0 KW - 681.3*D2 KW - 681.3*D21 KW - 681.3*F4 KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Electronic data processing KW - Languages, Artificial KW - Software, Computer KW - Computer systems KW - Computerwetenschap--?*D0 KW - Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} KW - Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} KW - Mathematical logic and formal languages (Theory of computation) KW - Programming languages (Electronic computers). KW - Development. KW - 681.3*F4 Mathematical logic and formal languages (Theory of computation) KW - 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} KW - 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} KW - Development of computer software KW - Software development KW - Computer software - Development UR - https://www.unicat.be/uniCat?func=search&query=sysid:1082961 AB - ER -