A study on generating efficient rewrite theory specification from behavioral specification

Author(s)

Bibliographic Information

A study on generating efficient rewrite theory specification from behavioral specification

by Zhang Min

Zhang Min, 2011.9

Available at  / 1 libraries

Search this Book/Journal

Note

Thesis (doctoral)--Japan Advanced Institute of Science and Technology, 2011, 博情第260号

Includes bibliographical references (p. 119-122)

Details

  • NCID
    BB07785445
  • Country Code
    ja
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    [Nomi]
  • Pages/Volumes
    vi, 125 p.
  • Size
    31 cm
Page Top