Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
ISBN: 0444862927 Year: 1981 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer programs --- -#TCPW P6.2 --- #TCPW P6.1 --- #TCPW P9.0 --- 681.3*A0 --- 681.3*D25 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Testing --- -Congresses --- General --- 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*A0 General --- #TCPW P6.2 --- Testing&delete& --- Congresses
ISBN: 0121229203 9780121229207 Year: 1981 Publisher: London: Academic press,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer science --- Mathematical logic --- Computer programs --- Correctness --- 519.68 --- -#TCPW P6.3 --- #TCPW P9.0 --- #TELE:ELEN --- 681.3*D24 --- 681.3*D32 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Computer programming --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- Correctness. --- 681.3*D32 language classifications: applicative languages; data-flow languages; design languages; extensible languages; macro and assembly languages; nonprocedural languages; specialized application and very high-level languages (Programminglanguages) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 519.68 Computer programming --- #TCPW P6.3 --- Correctness of computer programs --- Program correctness (Computer science) --- Debugging in computer science --- Logic, Symbolic and mathematical --- Computer programs - Correctness --- Specification --- Programming Language --- proof --- Programming Methodology
Book
ISBN: 0566034182 9780566034183 Year: 1981 Publisher: Aldershot: Gower,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Copyright --- Computer programs --- Congresses --- Patents --- 519.68 --- -Computer programs --- -#TCPW P4.3 --- #TCPW P4.8 --- #TCPW P7.3 --- 681.3*D46 --- 681.3*K4 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Literary property --- Property, Literary --- Intangible property --- Intellectual property --- Anti-copyright movement --- Authors and publishers --- Book registration, National --- Patent laws and legislation --- Computer programming --- -Congresses --- Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- Computerwetenschap--?*K4 --- Law and legislation --- 681.3*D46 Security and protection: access controls; authentication; cryptographic controls; information flow controls; security kernels; verification (Operating systems) --- 519.68 Computer programming --- #TCPW P4.3 --- Patents&delete& --- Computer programs&delete& --- Copyright - Computer programs - Great Britain - Congresses --- Computer programs - Patents - Congresses
| Listing 1 - 3 of 3 |
Sort by
|