Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 354019651X 038719651X 1447131800 9783540196518 Year: 1991 Publisher: London: Springer,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer software --- Development --- Mural (Computer file) --- Development. --- Mural (Computer file). --- Computer software - Development
ISBN: 0138218846 9780138218843 Year: 1980 Publisher: Englewood Cliffs: Prentice Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer software --- Logiciels --- Development --- Développement --- Computer programming --- -681.3*D21 --- 681.3*D22 --- 681.3*D24 --- Software, Computer --- Computer systems --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Programmeren: software --- Development. --- Programmeren: software. --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Development of computer software --- Software development --- Computer software - Development --- Data Type --- Algorithm --- Program Theory --- proof
ISBN: 0133290034 9780133290035 Year: 1982 Publisher: Englewood Cliffs: Prentice Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer software --- Programming languages (Electronic computers) --- Development --- -Programming languages (Electronic computers) --- 681.3*D0 --- 681.3*D2 --- 681.3*D21 --- 681.3*F4 --- Computer languages --- Computer program languages --- Computer programming languages --- Machine language --- Electronic data processing --- Languages, Artificial --- Software, Computer --- Computer systems --- Computerwetenschap--?*D0 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Mathematical logic and formal languages (Theory of computation) --- Programming languages (Electronic computers). --- Development. --- 681.3*F4 Mathematical logic and formal languages (Theory of computation) --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Development of computer software --- Software development --- Computer software - Development
| Listing 1 - 3 of 3 |
Sort by
|