東華大學圖書館 |

語系: 繁體中文

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Computer-aided verification of coord...

Kurshan, R. P., (1943-)

FindBook

Amazon

博客來

Computer-aided verification of coordinating processes : = the automata-theoretic approach /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Computer-aided verification of coordinating processes :/ Robert P. Kurshan.
其他題名:	the automata-theoretic approach /
作者:	Kurshan, R. P.,
出版者:	Princeton, N.J. :Princeton University Press, : c1994.,
面頁冊數:	xii, 270 p. :ill. ;24 cm.
叢書名:	Princeton series in computer science
標題:	Computational complexity. -
ISBN:	0691034362 :

Computer-aided verification of coordinating processes : = the automata-theoretic approach /
Kurshan, R. P.,1943-

Computer-aided verification of coordinating processes :the automata-theoretic approach /Robert P. Kurshan. - Princeton, N.J. :Princeton University Press,c1994. - xii, 270 p. :ill. ;24 cm. - Princeton series in computer science.

Includes bibliographical references (p. 241-262) and index.

ISBN: 0691034362 :US102.50

LCCN: 94042672 //r95Subjects--Topical Terms:

523870
Computational complexity.

LC Class. No.: TS183.3 / .K87 1994

Dewey Class. No.: 670.42

Computer-aided verification of coordinating processes : = the automata-theoretic approach /
LDR:00645nam a2200181 a 45 001 683332
005 20020225100120.2
008 011231s1994 njua b 001 0 eng
010 $a 94042672 //r95
020 $a 0691034362 : $c US102.50
035 $a as 00900115
040 $a DLC $c DLC $d DLC
050 0 0 $a TS183.3 $b .K87 1994
082 0 0 $a 670.42 $2 20
100 $a Kurshan, R. P., $d 1943- $3 726107
245 1 0 $a Computer-aided verification of coordinating processes : $b the automata-theoretic approach / $c Robert P. Kurshan.
260 $a Princeton, N.J. : $c c1994. $b Princeton University Press,
300 $a xii, 270 p. : $b ill. ; $c 24 cm.
440 0 $a Princeton series in computer science
504 $a Includes bibliographical references (p. 241-262) and index.
650 $a Computational complexity. $3 523870
650 $a Expert systems (Computer science) $x Verification. $3 726108
650 $a Manufacturing processes $x Planning $x Data processing. $3 726109
650 $a System design. $3 518843