Tools

LEADER 02172cam 22005054a 4500

001 ocm53287799;

003 OCoLC;

005 20141212173956.0;

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

008 031017s2003 gw a b 101 0 eng ;

010 a| 2003066647;

016 7 a| 9691040812| GyFmDB;

020 a| 3540204911 (alk. paper);

035 a| (Sirsi) o53287799;

035 a| (OCoLC)53287799;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 005.13/12| 22;

111 2 a| International Conference on Formal Methods for Open Object-Based Distributed Systemsn| (6th :d| 2003 :c| Paris, France)?| UNAUTHORIZED;

245 10 a| Formal methods for open object-based distributed systems :b| 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings /c| Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).;

300 a| x, 292 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| 2884;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

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

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

700 1 a| Najm, Elie.=| ^A572921;

700 1 a| Nestmann, Uwe.=| ^A572922;

700 1 a| Stevens, Perdita.=| ^A527427;

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

856 41 u| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2884z| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har030131479c| 66.34 EUR;

980 a| 2004-02-04b| 99d| 6.58e| 94.05f| 333877;

596 a| 1;

998 a| 947693;

999 a| QA76.9.D5 I573 2003w| LCc| 1i| 30372012206618d| 3/7/2013f| 3/7/2013g| 1l| JGESm| JOYNERp| $94.05r| Ys| Yt| JGESBKu| 2/17/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).

Author/creator	International Conference on Formal Methods for Open Object-Based Distributed Systems
Other author	Najm, Elie.
Other author	Nestmann, Uwe.
Other author	Stevens, Perdita.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2003.
Description	x, 292 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Electronic data processing--Distributed processing. --Congresses. Object-oriented programming (Computer science)--Congresses.

Series	Lecture notes in computer science ; 2884 Lecture notes in computer science 2884. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2003066647
ISBN	3540204911 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.D5 I573 2003	✔ Available	Place Hold

Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings / Elie Najm, Uwe Nestmann, Perdita Stevens (eds.).

Click here for more information about this title

Availability