000.807 A807
Bjorner, D. VDM Eighty-Seven / VDM-A Formal Method at Work.. - New York, NY : Springer-Verlag New York, Incorporated, 04/1987 422 * OPTICAL DATA PROCESSING
Powered by Koha