國立虎尾科技大學 |

登入

回首頁

Abstract state machines : theory and...

Gurevich, Yuri

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings
其他作者:	GurevichYuri,
出版地:	Berlin
出版者:	Springer;
面頁冊數:	379 pill : cm;
集叢名:	Lecture notes in computer science
標題:	Machine theory -
ISBN:	3540679596

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings / Yuri Gurevich ... [et al.] (eds.) - Berlin : Springer - 379 p ; ill ; cm. - (Lecture notes in computer science ; 1912).
Includes bibliographical references and index.
ISBN 3540679596
Machine theory

Gurevich, Yuri

Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings
LDR:00751cam 2200193 i 450 001 450816
005 20101024101030.0
009 a00064121
010 1 $1 166 $a 3540679596 $b (pbk.) $d NT
100 $a 20080130f m y0engy01 b
101 0 $a eng
200 1 $a Abstract state machines $e theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings $f Yuri Gurevich ... [et al.] (eds.)
210 $a Berlin $c Springer
215 0 $a 379 p $c ill $d cm
225 2 $a Lecture notes in computer science $v 1912
320 $a Includes bibliographical references and index
410 0 $1 2001 $a ;1912 $a Lecture notes in computer science
606 $a Machine theory $3 392571 $2 lc $3 735959
676 $a 511.3 $v 21
680 $a QA267 $b A25 2000
702 $a Gurevich $b Yuri $3 433522
801 1 $a cw $b 國立虎尾科技大學圖書館圖書館 $c 20020118