SpecC : specification language and methodology

Author(s)

Bibliographic Information

SpecC : specification language and methodology

Daniel D. Gajski... [et al.]

Kluwer Academic, c2000

Other Title

Spec C

Available at  / 14 libraries

Search this Book/Journal

Note

Includes bibliographical references (p. [305]-310) and index

Details

  • NCID
    BA4641340X
  • ISBN
    • 0792378229
  • Country Code
    us
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Boston
  • Pages/Volumes
    xvi, 313 p.
  • Size
    25 cm
Page Top