Search
Feedback
About
Help
News
| Listing 1 - 1 of 1 |
Sort by
|
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
| Listing 1 - 1 of 1 |
Sort by
|