TY  - BOOK
A1  - / Dieter Schewe-Yamine Ait Ameur, Klaus
TI  - Abstract State Machines, Alloy, B, TLA, VDM, and Z
PB  - کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند
SN  - 93608654
UR  /book/93608654/Abstract-State-Machines-Alloy-B-TLA-VDM-and-Z/
ER  -