*Result*: SpecC
*Title*:
SpecC : specification language and methodology / Daniel D. Gajski ... [et al.]
*Author/editor-in-chief*:
*Publication*:
Boston [u.a.] : Kluwer, 2000
*Physical description scale*:
XVI, 313 S. : graph. Darst.
*Format*:
*Language*:
*eng*
*Subject Added Keywords*:
*ISBN*:
0792378229