عنوان
پدید آورنده
موضوع
رده
QA,267,.A25,2000
QA
,
267
,.
A25
,
2000
کتابخانه
محل استقرار
alk. paper)
3540679596 (softcover
IR
ebook29345
انگلیسی
IR
Abstract state machines
[Electronic Resource]
:theory and applications : international workshop, ASM 2000, Monte Verit?a, Switzerland, March 2000 : proceedings
/ Yuri Gurevich ... [et al.] (eds.)
Berlin ;New York
: Springer,
, c2000.
379 p.
: ill. ; cm.
(Lecture notes in computer science
; 1912)
e
Includes bibliographical references and index.
Machine theory--Congresses
511
.
3
QA
,
267
,.
A25
,
2000
Gurevich, Yuri
ایران
511.3
3540679596.pdf
0
0
old catalog
e
BL
1
a
Y
