Tools

LEADER 02238cam a2200529 a 4500

001 ocm56933205;

003 OCoLC;

005 20141211192443.0;

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

008 040825s2004 gw a b 101 0 eng d;

010 a| 2004112623;

016 7 a| 9721388622| GyFmDB;

020 a| 3540229426 (pbk.);

029 1 a| NLGGCb| 267732066;

035 a| (Sirsi) o56933205;

035 a| (OCoLC)56933205;

042 a| lccopycat;

049 a| EREE;

050 00 a| QA76.9.F67b| F532 2003;

072 7 a| QA2| lcco;

082 00 a| 004/.01/512| 22;

084 a| 54.522| bcl;

111 2 a| FMCO (Symposium)n| (2nd :d| 2003 :c| Leiden, Netherlands)=| ^A702401;

245 10 a| Formal methods for components and objects :b| second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /c| Frank S. de Boer [and others] (eds.).;

246 30 a| FMCO 2003;

300 a| viii, 371 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,x| 0302-9743 ;v| 3188.a| Tutorial;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Formal methods (Computer science)v| Congresses.=| ^A422971;

650 0 a| Component softwarev| Congresses.=| ^A446085;

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

700 1 a| Boer, Frank S. de.=| ^A569499;

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

830 0 a| Lecture notes in computer science.p| Tutorial.=| ^A583079;

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

994 a| C0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har040111371c| 52.43 EUR;

938 a| Baker & Taylorb| BKTYc| 68.00d| 68.00i| 3540229426n| 0006157704s| active;

596 a| 1;

998 a| 1061052;

999 a| QA76.9.F67 F532 2003w| LCc| 1i| 30372012644164d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 1/17/2007x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer [and others] (eds.).

Author/creator	FMCO (Symposium)
Other author	Boer, Frank S. de.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2004.
Description	viii, 371 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Formal methods (Computer science)--Congresses. Component software--Congresses. Object-oriented programming (Computer science)--Congresses.

Portion of title	FMCO 2003
Series	Lecture notes in computer science, 0302-9743 ; 3188. Tutorial Lecture notes in computer science 3188. ^A466336 Lecture notes in computer science. Tutorial. ^A583079
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2004112623
ISBN	3540229426 (pbk.)

Availability

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

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures / Frank S. de Boer [and others] (eds.).

Click here for more information about this title

Availability