Search
Feedback
About UniCat 
Help
News
| Listing 1 - 10 of 126 | << page >> |
Sort by
|
Book
ISBN: 906233122X Year: 1985 Publisher: Den Haag Academic Service
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
ISBN: 0471627658 9780471627654 Year: 1976 Publisher: New York (N.Y.): 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
ISBN: 3519021013 047190323X 9780471903239 Year: 1984 Publisher: [Lieu de publication inconnu]: Wiley,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Programming --- Computer programs --- Digital computer systems --- Verification. --- Programs --- Verification --- -681.3*D24 --- 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} --- Computer program files --- Files, Computer program --- Program files, Computer --- Programs, Computer --- Computer files --- Computer software --- 681.3*D24 --- Verification of computer programs --- Computer programs. --- Computer programs - Verification
ISBN: 0139510621 9780139510625 Year: 1992 Publisher: New York, N.Y.: Prentice Hall,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer programs --- Verification --- -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} --- Verification. --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 --- Verification of computer programs --- Computer programs - Verification
ISBN: 063201573X 9780632015733 Year: 1987 Publisher: Oxford: Boston: Blackwell,
Abstract | Keywords | Export | Availability | Bookmark
Loading...Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Computer software --- Reliability --- -681.3*D24 --- 681.3*D45 --- Software, Computer --- Computer systems --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) --- 681.3*D45 Reliability: backup procedures; checkpoint/restart; fault-tolerance; verification (Operating systems) --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- 681.3*D24 --- Computer software - Reliability
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: Kobenhavn Akademisk Forlag
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) --- Fiabilité --- Programmation système (informatique) --- Systèmes, Conception de
ISBN: 3540151028 0387151028 3642702260 3642702244 9780387151021 9783540151029 Year: 1985 Publisher: Berlin: Springer,
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} --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Simulation --- Testing --- Verification --- Validation --- Real Time
Book
ISBN: 1581134134 9781581134131 Year: 2001 Volume: Suppl. Publisher: New York: 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)
| Listing 1 - 10 of 126 | << page >> |
Sort by
|