Workshop on Industrial-Strength Formal Specification Techniques: Proceedings 
Subtitle: April 5-8, 1995 Boca Raton, Florida
Publisher: Institute of Electrical & Electronics Enginee
Published: December 1995
Language: eng
Format: Paperback
Number of pages: 171
ISBN-13: 9780818670053
Subjects: Data capture & analysis; Industrial / Commercial Art & Design; Mechanical engineering; Programming - Software Development; Industrial Design; Real-Time Data Processing; Computers - Languages / Programming; Science/Mathematics