Formal Methods and Software Development
Publisher: Springer-Verlag
Published: June 1985
Language: eng
Format: Paperback
ISBN-13: 9780387151991
Subjects: Computer Programming
Notes: Lecture Notes in Computer Science