1st Irish Workshop on Formal Methods (Electronic Workshops in Computing)
Publisher: Springer-Verlag Telos
Published: January 1997
Language: eng
Format: Paperback
Number of pages: 7
ISBN-13: 9783540761969
Subjects: Mathematical theory of computation; Programming languages; Software engineering; Programming - General; General; Computers; Computers - Languages / Programming; Computer Books: General