Tools

LEADER 02050cam a22004934a 4500

001 ocm53285201;

003 OCoLC;

005 20141212173956.0;

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

008 031015s2003 gw a b 101 0 eng ;

010 a| 2003066764;

016 7 a| 9690827702| GyFmDB;

020 a| 354020461X (alk. paper);

035 a| (Sirsi) o53285201;

035 a| (OCoLC)53285201;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 005.13/12| 22;

111 2 a| International Conference on Formal Engineering Methodsn| (5th :d| 2003 :c| Singapore)?| UNAUTHORIZED;

245 10 a| Formal methods and software engineering :b| 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings /c| Jin Song Dong, Jim Woodcock (eds.).;

300 a| xi, 681 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| 2885;

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| Dong, Jin Song,d| 1967-=| ^A572920;

700 1 a| Woodcock, Jim.=| ^A318888;

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

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har030130588c| 79.18 EUR;

980 a| 2004-02-04b| 98d| 6.52e| 93.1f| 333877;

596 a| 1;

998 a| 947692;

999 a| QA76.9.F67 I5788 2003w| LCc| 1i| 30372012206733d| 3/18/2013f| 3/18/2013g| 1l| JGESm| JOYNERp| $93.10r| Ys| Yt| JGESBKu| 2/17/2004x| BOOKz| JSTACKSo| .STAFF. 0;

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock (eds.).

Author/creator	International Conference on Formal Engineering Methods
Other author	Dong, Jin Song, 1967-
Other author	Woodcock, Jim.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xi, 681 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Formal methods (Computer science)--Congresses. Software engineering--Congresses.

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

Availability

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

Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock (eds.).

Click here for more information about this title

Availability