Tools

LEADER 01958cam a22004694a 4500

001 ocm50693193;

003 OCoLC;

005 20141212164922.0;

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

008 020920s2002 gw a b 101 0 eng ;

010 a| 2002036000;

020 a| 3540000291 (alk. paper);

035 a| (Sirsi) o50693193;

035 a| (OCoLC)50693193;

040 a| DLCc| DLCd| C$Qd| C#Pd| UtOrBLW;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.9.F67b| I5788 2002;

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

111 2 a| International Conference on Formal Engineering Methodsn| (4th :d| 2002 :c| Shanghai, China)?| UNAUTHORIZED;

245 10 a| Formal methods and software engineering :b| 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings /c| Chris George, Huaikou Miao (eds.).;

246 30 a| ICFEM 2002;

300 a| xi, 626 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| 2495;

504 a| Includes bibliographical references and index.;

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

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

650 0 a| Software engineeringv| Congresses.=| ^A224279;

700 1 a| George, Chris,d| 1947-=| ^A529719;

700 1 a| Miao, Huaikou,d| 1953-=| ^A529720;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2495.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

910 a| PromptCat;

980 a| 2002-12-25b| 91d| 6.05e| 86.45f| 130045;

596 a| 1;

998 a| 897113;

999 a| QA76.9.F67 I5788 2002w| LCc| 1i| 30372011978399d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $86.45r| Ys| Yt| JGESBKu| 1/14/2003x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.).

Author/creator	International Conference on Formal Engineering Methods
Other author	George, Chris, 1947-
Other author	Miao, Huaikou, 1953-
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	xi, 626 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses.

Portion of title	ICFEM 2002
Series	Lecture notes in computer science ; 2495 Lecture notes in computer science 2495. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002036000
ISBN	3540000291 (alk. paper)

Availability

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

Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings / Chris George, Huaikou Miao (eds.).

Click here for more information about this title

Availability