東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods for distributed syste...

Bolognesi, Tommaso.

FindBook

Google Book

Amazon

博客來

Formal methods for distributed system development : = FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Formal methods for distributed system development :/ edited by Tommaso Bolognesi, Diego Latella.
其他題名:	FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/
其他作者:	Bolognesi, Tommaso.
團體作者:	IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification
出版者:	Boston, MA :Kluwer Academic Publishers, : c2000.,
面頁冊數:	xiv, 408 p. :ill. ;25 cm.
標題:	Electronic data processing - Congresses. - Distributed processing -
ISBN:	0792379683 :

Formal methods for distributed system development : = FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/
Formal methods for distributed system development :FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/edited by Tommaso Bolognesi, Diego Latella. - Boston, MA :Kluwer Academic Publishers,c2000. - xiv, 408 p. :ill. ;25 cm. - IFIP ;55. - International Federation for Information Processing (Series) ;55..

Includes bibliographical references.

ISBN: 0792379683 :EUR235

LCCN: 00061057Subjects--Topical Terms:

622708
Electronic data processing
--Distributed processing--Congresses.

LC Class. No.: QA76.9.D5 / I33845 2000

Dewey Class. No.: 004/.36

Formal methods for distributed system development : = FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/
LDR:00850cam a2200193 a 45 001 690841
005 20031128
008 031127s2000 maua b 10000 eng
010 $a 00061057
020 $a 0792379683 : $c EUR235
035 $a imw92000027
040 $a DLC $c DLC $d DLC $d DH
042 $a pcc
050 0 0 $a QA76.9.D5 $b I33845 2000
082 0 0 $a 004/.36 $2 21
111 $a IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification $d (2000 : $c Pisa, Italy) $3 738039
245 1 0 $a Formal methods for distributed system development : $b FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy/ $c edited by Tommaso Bolognesi, Diego Latella.
260 $a Boston, MA : $c c2000. $b Kluwer Academic Publishers,
300 $a xiv, 408 p. : $b ill. ; $c 25 cm.
490 1 $a IFIP ; $v 55
504 $a Includes bibliographical references.
650 $a Electronic data processing $x Distributed processing $v Congresses. $3 622708
650 $a Formal methods (Computer science) $v Congresses. $3 622707
700 $a Bolognesi, Tommaso. $3 672960
700 $a Latella, Diego. $3 738038
830 $a International Federation for Information Processing (Series) ; $v 55. $3 738040