Book 1985
System design from provably correct constructs
2 readers
- Publisher
- Prentice-Hall
- Language
- English
- Published
- 1985
- Electronic dataprocessing
- Software engineering
- Electronic data processing
- System design
- System analysis
- Computer programming
- Debugging in computer science