Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
ISBN: 0471627658 9780471627654 Year: 1976 Publisher: New York Wiley
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programs --- Reliability --- Computer software --- -681.3*D24 --- Software, Computer --- Computer systems --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Reliability. --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 --- Computer programs - Reliability
ISBN: 3540079947 0387079947 354037972X Year: 1976 Volume: 46 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- 681.3*A0 --- 681.3*D10 --- 681.3*D2 --- 681.3*D24 --- 681.3*D40 --- General --- Computerwetenschap--?*D10 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Operating systems: general --- Computer programming --- Programming languages (Electronic computers) --- Congresses. --- 681.3*D40 Operating systems: general --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- 681.3*A0 General --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Programmation (Informatique) --- Langages de programmation --- Congresses --- Congrès --- Congrès --- Information theory. --- Computer science. --- Theory of Computation. --- Computer Science, general. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Langages de programmation.
ISBN: 0387078045 3540078045 3540382151 Year: 1976 Volume: 44 Publisher: Berlin : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Electronic data processing --- Computer architecture --- Database management --- Computer programming --- Informatique --- Ordinateurs --- Bases de données --- Programmation (Informatique) --- Congresses --- Congrès --- Architecture --- Gestion --- Bases de données --- Congrès --- 681.3*A0 --- 681.3*D20 --- 681.3*D24 --- Database management: security; integrity; protection--See also {?681.5*E5} --- Computer communication networks: data communications; OSI; security and protection --- Computerwetenschap--?*D20 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection --- 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} --- Computer. Automation --- 681.3*H2 --- 681.3 *C2 --- 681.3*A0 General --- General --- Information theory. --- Computer science. --- Theory of Computation. --- Computer Science, general. --- Informatics --- Science --- Communication theory --- Communication --- Cybernetics --- Banques de données
| Listing 1 - 3 of 3 |
Sort by
|