Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 9001809405 Year: 1981 Publisher: Groningen Wolters Noordhoff
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 906233461X Year: 1990 Publisher: Schoonhoven Academic service
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D24 --- 681.3*D25 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) --- 681.3*D25 Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}
Book
ISBN: 9039509026 Year: 1998 Publisher: Schoonhoven : Academic service informatica,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
| Listing 1 - 3 of 3 |
Sort by
|