國立高雄大學圖資館 |

語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods for Open object-based...

~

Najm, Elie.

Formal methods for Open object-based distributed systems /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal methods for Open object-based distributed systems /edited by Elie Najm and Jean-Bernard Stefani.
其他作者:	Najm, Elie.
出版者:	New York :Chapmen & Hall,c1997.
面頁冊數:	vii, 411 p. :ill. ;24 cm.
叢書名:	IFIP-the international federation for information processing
標題:	Electronic data processingDistributed processing.
ISBN:	0412797704 :

Formal methods for Open object-based distributed systems /
Formal methods for Open object-based distributed systems /edited by Elie Najm and Jean-Bernard Stefani. - 1st ed. - New York :Chapmen & Hall,c1997. - vii, 411 p. :ill. ;24 cm. - IFIP-the international federation for information processing.

Includes bibliographical references and index.

ISBN: 0412797704 :NT$6,303Subjects--Topical Terms:

182427
Electronic data processing
--Distributed processing.

LC Class. No.: QA76.9.D5 / F723 1997

Dewey Class. No.: 006.7/2

Formal methods for Open object-based distributed systems /
LDR:00632nam 2200181 a 450 001 144141
005 19970109004537.0
008 090528s1997 nyua 001 0 eng d
020 $a 0412797704 : $c NT$6,303
035 $a 00004614
040 $a UK $b eng $c UK
050 0 0 $a QA76.9.D5 $b F723 1997
082 0 0 $2 21 $a 006.7/2
245 0 0 $a Formal methods for Open object-based distributed systems / $c edited by Elie Najm and Jean-Bernard Stefani.
250 $a 1st ed.
260 $a New York : $c c1997. $b Chapmen & Hall,
300 $a vii, 411 p. : $b ill. ; $c 24 cm.
440 0 $a IFIP-the international federation for information processing
504 $a Includes bibliographical references and index.
650 $a Electronic data processing $x Distributed processing. $3 182427
700 $a Najm, Elie. $3 184552
700 $a Stefani, Jean-Bernard. $3 184553

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

館藏流通類別

320000049074

西方語文圖書區(四樓)

1圖書

一般圖書

QA76.9.D5 F723 1997

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入