Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Physiology of nutrition. Metabolism --- Pathological haematology --- Urology. Andrology

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Programming --- Computer software industry --- -Computer software --- -Congresses --- Congresses --- Development --- -Computer software industry --- -681.3*D21 --- 681.3*D24 --- 681.3*F31 --- Computer service industry --- Software, Computer --- Computer systems --- Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Computer software --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D21 Requirements/specifications: languages; methodologies; tools (Software engineering)--See also {681.3*D31} --- 681.3*D21 --- Development&delete& --- Computer software industry - - Congresses - European Economic Community countries --- -Computer software - - Congresses - Development --- -Programming