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