TY  - BOOK
A1  - Ivo Van Horebeek, Johan Lewi
TI  - Algebraic specifications in software engineering: An introduction
PB  - كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد
SN  - 68378963
UR  /book/68378963/Algebraic-specifications-in-software-engineering/
ER  -