Formal methods and object technology

種類:

図書

責任表示:

S.J. Goldsack and S.J.H. Kent, eds.

出版情報:

Berlin ; New York : Springer, c1996

著者名:

• Goldsack, Stephen J., 1926- <DA0002444X>
• Kent, S. J. H. (Stuart John Harding), 1966-

シリーズ名:

Formal approaches to computing and information technology (FACIT) <BA2187111X>

ISBN:

9783540199779 [3540199772]    

注記:

Includes bibliographical references (p. [336]-356) and index