Listing 1 - 3 of 3 |
Sort by
|
Choose an application
Programming --- Electronic digital computers --- PASCAL (Computer program language) --- Programmation des ordinateurs --- PASCAL (Langage de programmation) --- Pascal (Computer program language) --- Computer programming --- 681.3*D20 --- 681.3*D24 --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Programming languages (Electronic computers) --- Computerwetenschap--?*D20 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computer programming. --- Pascal (Computer program language). --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Langages de programmation --- Electronic digital computers - Programming --- Correctness --- Structured Programming --- Langages de programmation.
Choose an application
681.3*D2 --- 681.3*D23 --- 681.3*D24 --- 681.3*D25 --- 681.3*D22 --- programmeertalen --- systeemontwikkeling --- 681.3 --- 681.3*D22 Tools and techniques: decision tables flow charts modules and interfaces programmer workbench software libraries structured programming top-down programming user interfaces (Software engineering) --- Tools and techniques: decision tables flow charts modules and interfaces programmer workbench software libraries structured programming top-down programming user interfaces (Software engineering) --- 681.3*D25 Testing and debugging: diagnostics dumps error handling and recovery monitors symbolic execution test data generators tracing (Software engineering) --- 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} --- Program verification: assertion checkers correctness proofs reliability validation (Software engineering)--See also {681.3*F31} --- 681.3*D23 Coding: pretty printers program editors reentrant code standards (Softwareengineering) --- Coding: pretty printers program editors reentrant code standards (Softwareengineering) --- 681.3*D2 Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Computer science --- 681.3*D22 Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- Tools and techniques: decision tables; flow charts; modules and interfaces; programmer workbench; software libraries; structured programming; top-down programming; user interfaces (Software engineering) --- 681.3*D25 Testing and debugging: diagnostics; dumps; error handling and recovery; monitors; symbolic execution; test data generators; tracing (Software engineering) --- 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} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D23 Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- Coding: pretty printers; program editors; reentrant code; standards (Softwareengineering) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Object-oriented programming (Computer science) --- Software refactoring --- Computer software --- Refactoring, Software --- Software maintenance --- Computer programming --- Object-oriented methods (Computer science) --- Document Object Model (Web site development technology) --- Refactoring --- 005.14 --- object-gericht programmeren --- onderhoud --- programmeren --- software --- Object-georiënteerd programmeren --- Programmeren --- 654 --- AA / International- internationaal --- Informatieverwerking. Bureautica --- Programming --- Java (informatica) --- object oriented --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- Object-oriented programming (Computer science). --- Software refactoring. --- Logiciels --- Programmation orientée objet (Informatique) --- Refactorisation --- Programmeertalen --- Systeemontwikkeling --- Programmation orientée objets (informatique)
Choose an application
Computer systems --- Verification --- Computer systems - Verification --- Informatique --- Computer science --- Verification. --- 681.3*D24 --- 681.3*F22 --- 681.3*F31 --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Verification of computer systems --- 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} --- 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*F22 Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Artificial intelligence. Robotics. Simulation. Graphics
Listing 1 - 3 of 3 |
Sort by
|