Tools

LEADER 02456cam 2200553 a 4500

001 ocm60677082;

003 OCoLC;

005 20141211183218.0;

007 cr un---------;

008 050617s2005 gw b a 101 0 eng c;

010 a| 2005926702;

016 7 a| 9748369232| GyFmDB;

020 a| 3540261818 (pbk.);

020 a| 9783540261810;

029 0 a| OHXb| har050059674;

029 1 a| NLGGCb| 276777204;

035 a| (Sirsi) o60677082;

035 a| (OCoLC)60677082;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.D5b| I573 2005;

072 7 a| QA2| lcco;

084 a| 54.322| bcl;

111 2 a| International Conference on Formal Methods for Open Object-Based Distributed Systemsn| (7th :d| 2005 :c| Athens, Greece)?| UNAUTHORIZED;

245 10 a| Formal methods for open object-based distributed systems :b| 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings /c| Martin Steffen, Gianluigi Zavattaro (eds.).;

246 30 a| FMOODS 2005;

300 a| x, 321 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 3535,x| 0302-9743 ;;

500 a| "7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Electronic data processingx| Distributed processingv| Congresses.=| ^A419097;

650 0 a| Object-oriented programming (Computer science)v| Congresses.=| ^A234381;

700 1 a| Steffen, Martin.=| ^A604800;

700 1 a| Zavattaro, Gianluigi.=| ^A604801;

710 2 a| IFIP Working Group 6.1.=| ^A589654;

830 0 a| Lecture notes in computer sciencev| 3535.=| ^A466336;

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3535z| Restricted to SpringerLink subscribers;

994 a| C0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har050059674c| 72.76 EUR;

938 a| Baker & Taylorb| BKTYc| 89.95d| 89.95i| 3540261818n| 0006495635s| active;

596 a| 1;

998 a| 1009495;

999 a| QA76.9.D5 I573 2005w| LCc| 1i| 30372012800766d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERp| $85.45r| Ys| Yt| JGESBKu| 9/20/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / Martin Steffen, Gianluigi Zavattaro (eds.).

Author/creator	International Conference on Formal Methods for Open Object-Based Distributed Systems
Other author	Steffen, Martin.
Other author	Zavattaro, Gianluigi.
Other author	IFIP Working Group 6.1.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2005.
Description	x, 321 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Electronic data processing--Distributed processing. --Congresses. Object-oriented programming (Computer science)--Congresses.

Portion of title	FMOODS 2005
Series	Lecture notes in computer science ; 3535, 0302-9743 ; Lecture notes in computer science 3535. ^A466336
General note	"7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems"--Pref.
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005926702
ISBN	3540261818 (pbk.)
ISBN	9783540261810

Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 international conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings / Martin Steffen, Gianluigi Zavattaro (eds.).

Click here for more information about this title