國立高雄大學圖資館 |

Language: English

圖資館首頁

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Modal and temporal properties of pro...

~

Stirling, Colin P.

Modal and temporal properties of processes /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Modal and temporal properties of processes /Colin Stirling.
Author:	Stirling, Colin P.
Published:	New York :Springer,c2001.
Description:	xii, 190 p. :ill. ;24 cm.
Series:	Texts in computer science
Subject:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

320000135055

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.9.L63 S861 2001

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login