FORMAL HARDWARE VERIFICATION.. Methods and systems in comparison

Par : Thomas Kropf

Formats :

    • Nombre de pages367
    • PrésentationBroché
    • Poids0.51 kg
    • Dimensions15,6 cm × 23,5 cm × 1,9 cm
    • ISBN3-540-63475-4
    • EAN9783540634751
    • Date de parution14/09/1997
    • ÉditeurSpringer