東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Formal methods for open object-based...

Gorrieri, Roberto.

Linked to FindBook

Google Book

Amazon

博客來

Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Formal methods for open object-based distributed systems :/ Roberto Gorrieri, Heike Wehrheim (eds.).
Reminder of title:	8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
other author:	Gorrieri, Roberto.
corporate name:	International Conference on Formal Methods for Open Object-Based Distributed Systems
Published:	Berlin ;Springer, : c2006.,
Description:	x, 266 p. :ill. ;24 cm.
Series:	Lecture notes in computer science.
Subject:	Electronic data processing - Congresses. - Distributed processing -
Online resource:	http://www.loc.gov/catdir/enhancements/fy0661/2006926884-d.htmlhttp://www.loc.gov/catdir/enhancements/fy0661/2006926884-d.html
ISBN:	354034893X (pbk.) :

Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
Formal methods for open object-based distributed systems :8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /Roberto Gorrieri, Heike Wehrheim (eds.). - Berlin ;Springer,c2006. - x, 266 p. :ill. ;24 cm. - Lecture notes in computer science.40370302-9743 ;.

Includes bibliographical references and index.

ISBN: 354034893X (pbk.) :EUR63.00

LCCN: 2006926884Subjects--Topical Terms:

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

LC Class. No.: QA76.9.D5 / I573 2006

Dewey Class. No.: 005.1/17

Formal methods for open object-based distributed systems : = 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings /
LDR:01058nam a2200241 a 45 001 727409
005 20071012
008 071011s2006 gw a b 101 0 eng d
010 $a 2006926884
020 $a 354034893X (pbk.) : $c EUR63.00
020 $a 9783540348931 (pbk.)
035 $a (CStRLIN)NYCGQ5656616-B
035 $a (NNC)NYCG5656616
035 $a PA96J0005
040 $a ERL $c ERL $d NNC $d DLC $d DH
042 $a lccopycat
050 0 0 $a QA76.9.D5 $b I573 2006
082 0 0 $a 005.1/17 $2 22
111 $a International Conference on Formal Methods for Open Object-Based Distributed Systems $n (8th : $d 2006 : $c Bologna, Italy) $3 812636
245 1 0 $a Formal methods for open object-based distributed systems : $b 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / $c Roberto Gorrieri, Heike Wehrheim (eds.).
260 $a Berlin ; $a New York, NY : $c c2006. $b Springer,
300 $a x, 266 p. : $b ill. ; $c 24 cm.
440 0 $a Lecture notes in computer science. $x 0302-9743 ; $v 4037
504 $a Includes bibliographical references and index.
650 $a Electronic data processing $x Distributed processing $v Congresses. $3 622708
650 $a Object-oriented programming (Computer science) $v Congresses. $3 812637
700 $a Gorrieri, Roberto. $3 812634
700 $a Wehrheim, Heike. $3 812635
856 4 2 $3 Publisher description $u http://www.loc.gov/catdir/enhancements/fy0661/2006926884-d.html $z http://www.loc.gov/catdir/enhancements/fy0661/2006926884-d.html