Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

Author(s)

• International Conference on Formal Description Techniques
• Tenney, Richard L.

Bibliographic Information

Formal description techniques, VI : proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE '93, Boston, MA, U.S.A., 26-29 October, 1993

edited by R.L. Tenney ... [et al.]

（IFIP transactions, C, Communication systems, C-22）

North-Holland, c1994

Note

Includes bibliographical references

Details

• NCID: BA23046161
• ISBN:
  • 0444817735
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Amsterdam ; New York
• Pages/Volumes: xv, 501 p.
• Size: 23 cm
• Parent Bibliography ID:
  • BA13962399