Search
Feedback
About
Help
News
| Listing 1 - 10 of 31 | << page >> |
Sort by
|
Book
ISBN: 9062331653 Year: 1985 Publisher: Den Haag Academic service
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer architecture. Operating systems --- #KVIV --- 681.3*D24 --- 681.33 --- 681.35 --- Besturingssystemen --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Programmering --- Computerarchitectuur. Operating systems --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}
Book
ISBN: 9144060912 Year: 1973 Publisher: Sweden : Studentlitteratur,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D24 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Computer programs --- Electronic data processing. --- Electronic digital computers --- Reliability. --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Systèmes, Conception de --- System design --- Fiabilité --- Programmation système (informatique)
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: 0444852174 9780444852175 Year: 1978 Volume: 2 Publisher: Amsterdam North-Holland
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programs --- Reliability --- -681.3*D24 --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- 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
Book
ISBN: 1581134134 9781581134131 Year: 2001 Volume: Suppl. Publisher: New York (N.Y.): ACM
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Software engineering --- Computer software --- Engineering & Applied Sciences --- Computer Science --- Computer software engineering --- Engineering --- Development --- 681.3*D24 --- 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} --- Software Engineering --- Information Technology --- Computer Science (Hardware & Networks)
Book
ISBN: 906233461X Year: 1990 Publisher: Schoonhoven Academic service
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D24 --- 681.3*D25 --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 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*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}
ISBN: 0387902996 3540902996 1461262747 1461262720 9780387902999 Year: 1978 Publisher: New York, NY : Springer-Verlag,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
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.
ISBN: 0262160838 9780262160834 Year: 1981 Volume: 5 Publisher: Cambridge MIT press
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Software measurement --- 681.3*D24 --- 681.3*D28 --- Computer software measurement --- Measurement, Software --- Metrics, Software --- Software engineering metrics --- Software metrics --- Software engineering --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- Software measurement. --- 681.3*D28 Metrics: complexity measures; performance measures; software science (Software engineering)--See also {681.3*D48} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31}
ISBN: 0387906630 1461259797 Year: 1981 Publisher: New York (N.Y.): Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
681.3*D24 --- 681.3*D32 --- 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) --- 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}
Book
ISBN: 3540160639 366209195X Year: 1986 Publisher: Berlin Springer
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer architecture. Operating systems --- 681.3*C0 --- 681.3*C12 --- 681.3*D13 --- 681.3*D24 --- 681.3*D41 --- Computerwetenschap--?*C0 --- Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch --- Concurrent programming --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D41 Process management: concurrency; deadlocks; multiprocessing/multiprogramming;mutual exclusion; scheduling; synchronization (Operating systems) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D13 Concurrent programming --- 681.3*C12 Multiple data stream architectures (multiprocessors): MIMD; SIMD; pipeline and parallel processors; array-, vector-, associative processors; interconnection architectures: common bus, multiport memory, crossbar switch
| Listing 1 - 10 of 31 | << page >> |
Sort by
|