Tools

LEADER 01936cam a22004454a 4500

001 ocm51861929;

003 OCoLC;

005 20141212171433.0;

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

008 030307s2003 gw a b 101 0 eng ;

010 a| 2003045462;

015 a| GBA3-26319;

019 a| 51993194;

020 a| 3540008977 (softcover :alk. paper);

035 a| (Sirsi) o51861929;

035 a| (OCoLC)51861929;

042 a| pcc;

049 a| EREE;

050 00 a| QA76.751b| .F67 2003;

111 2 a| FOSSACS (Conference)n| (6th :d| 2003 :c| Warsaw, Poland)=| ^A558691;

245 10 a| Foundations of software science and computational structures :b| 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /c| Andrew D. Gordon, ed.;

300 a| xii, 440 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| 2620;

504 a| Includes bibliographical references and index.;

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

650 0 a| Computer softwarev| Congresses.=| ^A167054;

650 0 a| System analysisv| Congresses.=| ^A51061;

700 1 a| Gordon, Andrew D.=| ^A558692;

711 2 a| ETAPS (Conference)n| (6th :d| 2003 :c| Warsaw, Poland)=| ^A538195;

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

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

994 a| X0b| ERE;

596 a| 1;

998 a| 916599;

999 a| QA76.751 .F67 2003w| LCc| 1i| 30372011937171d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $69.35r| Ys| Yt| JGESBKu| 6/18/2003x| BOOKz| JSTACKSo| .STAFF. 0;

Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Andrew D. Gordon, ed.

Author/creator	FOSSACS (Conference)
Other author	Gordon, Andrew D.
Other author	ETAPS (Conference) 2003 : Warsaw, Poland)
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xii, 440 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	Computer software--Congresses. System analysis--Congresses.

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

Availability

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

Foundations of software science and computational structures : 6th International Conference, FOSSACS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Andrew D. Gordon, ed.

Click here for more information about this title

Availability