SpecC: specification language and methodology

Verfasser / Beitragende:
Daniel D. Gajski ... [et al.]
Ort, Verlag, Jahr:
Boston : Kluwer Academic Publishers, 2000
Beschreibung:
313 S.
Format:
Buch
ID: 192861638