Search
Feedback
About UniCat 
Help
News
| Listing 1 - 3 of 3 |
Sort by
|
ISBN: 0444002219 0444002235 9780444002211 Year: 1977 Publisher: New York, NY : Elsevier North-Holland,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Digital computer simulation --- SIMULA (Computer program language) --- Simulation par ordinateur --- 681.3*I6 --- 681.3*D32 --- 681.3*I62 --- Digital simulation --- Computer simulation --- Simulation programming language --- ALGOL (Computer program language) --- Simulation methods --- Simulation and modeling (Computing methodologies)--See also {681.3*G3} --- 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) --- Simulation languages --- Digital computer simulation. --- SIMULA (Computer program language). --- 681.3*I62 Simulation languages --- 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*I6 Simulation and modeling (Computing methodologies)--See also {681.3*G3} --- Langages de programmation --- Programming languages (Electronic computers) --- Langages de programmation.
Book
ISBN: 0669037796 9780669037791 Year: 1981 Publisher: Lexington : D. C. Heath and Company,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer networks --- Réseaux d'ordinateurs --- 681.3 *C2 --- 681.3*C22 --- 681.3*C25 --- 681.3*C4 --- Communication systems, Computer --- Computer communication systems --- Data networks, Computer --- ECNs (Electronic communication networks) --- Electronic communication networks --- Networks, Computer --- Teleprocessing networks --- Data transmission systems --- Digital communications --- Electronic systems --- Information networks --- Telecommunication --- Cyberinfrastructure --- Electronic data processing --- Network computers --- Computer communication networks: data communications; OSI; security and protection --- Network protocols: protocol architecture; protocol verification --- Local networks: LAN; access schemes; buses; rings --- Performance of systems (Computer systems organization) --- Distributed processing --- 681.3*C4 Performance of systems (Computer systems organization) --- 681.3*C25 Local networks: LAN; access schemes; buses; rings --- 681.3*C22 Network protocols: protocol architecture; protocol verification --- 681.3 *C2 Computer communication networks: data communications; OSI; security and protection
Book
ISBN: 0133288072 9780133288070 Year: 1982 Publisher: Englewood Cliffs, NJ : Prentice-Hall International,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programs --- -Computer programs --- -Formal methods (Computer science) --- 681.3*D24 --- 681.3*F31 --- System design --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- Specifications --- Verification --- 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} --- 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} --- Formal methods (Computer science) --- Verification of computer programs --- Computer programs - Verification --- Computer programs - Specifications
| Listing 1 - 3 of 3 |
Sort by
|