Tools

LEADER 01891cam a2200445Ia 4500

001 ocm61766573;

003 OCoLC;

005 20141211184015.0;

007 cr un- ;

008 050930s2005 gw 101 0 eng d;

010 a| 2005932547;

020 a| 3540291318 (pbk.);

020 a| 9783540291312;

035 a| (Sirsi) o61766573;

035 a| (OCoLC)61766573;

049 a| EREE;

090 a| QA76.9.F67b| F53 2004;

245 00 a| Formal methods for components and objects :b| third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /c| Frank S. de Boer [and others] (eds.).;

246 30 a| FMCO 2004;

260 a| Berlin ;a| New York :b| Springer,c| 2005.;

300 a| viii, 323 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| 3657.a| Tutorial;

504 a| Includes bibliographical references and index.;

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| 3657.=| ^A466336;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

980 a| 2005-11-16b| 64.95d| 0e| 61.7f| 709419;

596 a| 1;

998 a| 1017821;

999 a| QA76.9.F67 F53 2004w| LCc| 1i| 30372012879315d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $61.70r| Ys| Yt| JGESBKu| 11/23/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.).

Other author	Boer, Frank S. de.
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	viii, 323 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Formal methods (Computer science)--Congresses. Component software--Congresses. Object-oriented programming (Computer science)--Congresses.

Portion of title	FMCO 2004
Series	Lecture notes in computer science, 0302-9743 ; 3657. Tutorial Lecture notes in computer science 3657. ^A466336 Lecture notes in computer science. Tutorial. ^A583079
Bibliography note	Includes bibliographical references and index.
LCCN	2005932547
ISBN	3540291318 (pbk.)
ISBN	9783540291312

Availability

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

Formal methods for components and objects : third international symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures / Frank S. de Boer [and others] (eds.).

Click here for more information about this title

Availability