عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook37436
eng
Abstract state machines :
Berlin ;New York :
: Springer,
, 2000.
Print
Machine theory ; Congresses ;
Gurevich, Yuri ;
old catalog
