國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Modal and temporal properties of pro...

~

Stirling, Colin P.

Modal and temporal properties of processes /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Modal and temporal properties of processes // Colin Stirling.
作者:	Stirling, Colin P.
出版者:	New York :Springer, : c2001.,
面頁冊數:	xii, 190 p. :ill. ; : 24 cm.;
叢書名:	Texts in computer science
標題:	Computer logic. -
ISBN:	9780387987170 (cloth) :

Modal and temporal properties of processes /
Stirling, Colin P.

Modal and temporal properties of processes /Colin Stirling. - New York :Springer,c2001. - xii, 190 p. :ill. ;24 cm. - Texts in computer science.

Includes bibliographical references (p. [183]-186) and index.

ISBN: 9780387987170 (cloth) :NT3838

LCCN: 00067924 Subjects--Topical Terms:

786340
Computer logic.

LC Class. No.: QA76.9.L63 / S75 2001

Dewey Class. No.: 004/.35

Modal and temporal properties of processes /
LDR:00663cam a2200217 a 4500 001 707636
005 20120720170127.0
008 120807s2001 nyua b 001 0 eng
010 $a 00067924
020 $a 9780387987170 (cloth) : $c NT3838
020 $a 0387987177 (cloth)
035 $a 00067924
040 $a DLC $c DLC $d DLC
041 0 # $a eng
042 $a pcc
050 0 0 $a QA76.9.L63 $b S75 2001
082 0 0 $a 004/.35 $2 21
100 1 $a Stirling, Colin P. $3 833007
245 1 0 $a Modal and temporal properties of processes / $c Colin Stirling.
260 # $a New York : $c c2001. $b Springer,
300 $a xii, 190 p. : $b ill. ; $c 24 cm.
440 0 $a Texts in computer science
504 $a Includes bibliographical references (p. [183]-186) and index.
650 # 0 $a Computer logic. $3 786340
650 # 0 $a Parallel processing (Electronic computers) $3 527949

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E036918

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004.35 S861 2001

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入