國立虎尾科技大學 |

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:	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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

E036918

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

004.35 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