Specification and verification of object oriented software components
Edición de la obra Specification and verification of object oriented software components
| Autor | Andreas Roth |
|---|---|
| Editorial | Univ.-Verl. Karlsruhe |
| Fecha de publicación | 2006 |
| Lugar | Karlsruhe |
| Idioma | inglés |
| Formato | [Elektronische Ressource] / |
| ISBN-13 | 9783866440425 |
| ISBN-10 | 3866440421 |
| OCLC | 179984606 |
| Número de Cutter | R845s |