Program development by specification and transformation : The PROSPECTRA methodology, language family, and system

Saved in:
Bibliographic Details
Other Authors:
Format: Book
Language:English
Published: Berlin [etc.] : Springer, 1993
Series:Lecture notes in computer science ; 680
Subjects:
Tags: Add Tag
Be the first to tag this record!

Library of Fac. of Informatics

Holdings details from Library of Fac. of Informatics
Call Number: Copy: Collection: Status:
9233 9233 (INF) Informatikai szakgyűjtemény könyv Available