TY - BOOK ID - 9215843 TI - Constructie en verificatie van programma's AU - Backhouse, Roland Carl AU - Stefanski, M. M. PY - 1990 SN - 906233461X PB - Schoonhoven Academic service DB - UniCat KW - 681.3*D24 KW - 681.3*D25 KW - Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} KW - Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) KW - 681.3*D25 Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) KW - 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} UR - https://www.unicat.be/uniCat?func=search&query=sysid:9215843 AB - ER -