Tallenna
TAPSOFT '95: Theory and Practice of Software Development
Theoretical computer scientists and software engineers (researchers and practitioners) discuss how formal methods can usefully be applied in software development. These proceedings of the TAPSOFT '95 conference also contain 44 revised papers and 10 tool descriptions.
- Alaotsikko
- 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings
- Toimittaja
- Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach
- Painos
- 1995 ed.
- ISBN
- 9783540592938
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 3.5.1995
- Sivumäärä
- 820
