南京工程学院

Programming logics : an introduction to verification and semantics /

TP31/G974Gumb, Raymond D./Wiley,/ c1989.

• 馆藏(4) / 可借(0)