TY  - BOOK
A1  - Bjorner, Dines
TI  - Formal specification and software development
PB  - کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد
SN  - 77758612
UR  /book/77758612/Formal-specification-and-software-development/
ER  -