00000cam a22000004a 4500 UP-99796217602968502 Buklod 20230503092542.0 m |o d | ta 080209s1993 xx r |000 u|eng d 354057316X (iLib)UPD-00000170663 eng DMLUC QA 76.6 F673 1993 Formal methods in programming and their applications international conference, Academgorodok, Russia, June/July 1993 proceedings Dines Bjorner, Mandred Broy, Igor V. Pottosin, eds. Berlin Springer-Verlag c1993. ix, 433 p. Lecture notes in computer science 735 Electronic digital computers Programming. Bjorner, D. (Dines) 1937-. Broy, Mandred. 1949-. Pottosi, Igor V. Lecture notes in computer science ; 735. Book FO Paper UPD DENG-II QA 76.6 F673 1993 Book