• Title of article

    Formal specification and design, Cambridge tracts in theoretical computer science: L.M.G. Feijs and H.B.M Jonkers, (Cambridge University Press, 1992) (hardback), ISBN 0-521-43457-2

  • Author/Authors

    Horst Reichel، نويسنده ,

  • Issue Information
    دوماهنامه با شماره پیاپی سال 1995
  • Pages
    2
  • From page
    185
  • To page
    186
  • Journal title
    Science of Computer Programming
  • Serial Year
    1995
  • Journal title
    Science of Computer Programming
  • Record number

    1079414