StLB ) Schmidt, Ulrich: Verifizierende Teststrategien für ausgewählte Programmklassen. - Mannheim, 1988. - V, 94 S. ( Kollat: V, 94 S.)Mannheim, Univ. Diss., 1988
Sign.: 320462 I *
| Prev | Next | More |
| ( StLB ) Schmidt, Ulrich: Verifizierende Teststrategien für ausgewählte Programmklassen. - Mannheim, 1988. - V, 94 S. ( Kollat: V, 94 S.) Mannheim, Univ. Diss., 1988 Sign.: 320462 I * |