國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁 到查詢結果 [ subject:"Computer logic." ]

切換: 標籤 | 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:	0387987177 (alk. paper) :

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: 0387987177 (alk. paper) :NT$1831

LCCN: 00067924 Subjects--Topical Terms:

199471
Computer logic.

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

Dewey Class. No.: 004/.35

Modal and temporal properties of processes /
LDR:00608nam 2200193 a 450 001 149682
005 19990403141858.0
008 090528s2001 nyua 001 0 eng
010 $a 00067924
020 $a 0387987177 (alk. paper) : $c NT$1831
035 $a 00044228
040 $a DLC $c DLC $d DLC
042 $a pcc
050 0 0 $a QA76.9.L63 $b S861 2001
082 0 0 $2 21 $a 004/.35
100 $a Stirling, Colin P. $3 199470
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 $a Computer logic. $3 199471
650 $a Parallel processing (Electronic computers) $3 184697

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

320000135055

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.9.L63 S861 2001

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入