Program verification

Dettagli Bibliografici
Autore principale:	Francez, Nissim
Natura:	Libro
Pubblicazione:	Wokingham, Eng. Addison-Wesley Pub. c1992.
Soggetti:	Computer software > Verification. Programming.