Using Formal Description Techniques
Subtitle: An Introduction to Estelle, Lotos, and Sdl (Wiley Series in Communication and Distributed Systems)
Publisher: John Wiley & Sons Inc
Published: January 1993
Language: eng
Format: Paperback
Number of pages: 460
ISBN-13: 9780471934554
Subjects: Communications engineering / telecommunications; General Theory of Computing; Miscellaneous Software; Networking - General; Computer Programming; Formal languages; Computer Bks - Other Applications; Computer Books: Operating Systems