| 1 |
Software specification and design : a disciplined approach for real-time systems / Marilyn Keller, Ken Shumate
New York : Wiley , c1992
|
| 2 |
Embedded real-time systems / Jean Paul Calvez ; translators, Alan Wyche and Charles Edmundson
Chichester ; New York : J. Wiley , c1993
|
| 3 |
Error-free software : know-how and know-why of program correctness / Robert Laurence Baber ; translated from the German original by the author
Chichester, England ; New York : Wiley , c1991
|
| 4 |
Software configuration management / H. Ronald Berlack
New York : Wiley , c1992
|
Mendeley出力
