Tallenna
The Use of Formal Specification of Software
The notion that program design is an engineering task alleviating the software crisis has been with us for about a decade. With the recognized advantages of obeying to certain software design disciplines, we are approaching the era of enforced system development standards which will ensure that end products will meet rigorous design requirements.
- Alaotsikko
- June 25–27, 1979, Berlin
- Toimittaja
- H.K. Berg, W.K. Giloi
- Painos
- Softcover reprint of the original 1st ed. 1980
- ISBN
- 9783540104421
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.1.1980
- Sivumäärä
- 390
