Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
Book
ISBN: 906233122X Year: 1985 Publisher: Den Haag Academic service
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Book
ISBN: 9062331653 Year: 1985 Publisher: Den Haag Academic service
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer architecture. Operating systems --- #KVIV --- 681.3*D24 --- 681.33 --- 681.35 --- Besturingssystemen --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Programmering --- Computerarchitectuur. Operating systems --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}
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}
| Listing 1 - 3 of 3 |
Sort by
|