TY - BOOK A1 - by Claire Willis & Derek Paddon TI - Abstraction & specification with modula-2 PB - کتابخانه مرکزی و مرکز نشر دانشگاه بیرجند (دکتر محمد حسن گنجی) SN - 104535718 UR /book/104535718/Abstraction-specification-with-modula2/ ER -