Enlarge image Witaj Nieznajomy, zaloguj się
Opis produktu
Computer Aided Verification - Kim G. Larsen
This volume contains the proceedings of a workshop on computer aided verification. Topics include verification and validation tools for hardware and software, verification methods, and verification theories and their applicability.
Szczegóły
Computer Aided Verification
kwiecień 1992
Springer-Verlag GmbH
504
3540551794
9783540551799
235 x 155 x 26
Kim G. Larsen
kwiecień 1992
Springer-Verlag GmbH
504
3540551794
9783540551799
235 x 155 x 26
