Formal Description Techniques, IV (IFIP Transactions C: Communication Systems)

出版社: North Holland(1992-03-18)

ペーパーバック: 596 ページ / 15.2 x 3.4 x 22.9 cm

ISBN-10: 0444894020  ISBN-13: 9780444894021