Tools

LEADER 02417cam a22004694a 4500

001 ssj0000157591;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 040302s2004 gw a sb 101 0 eng d;

010 a| 2004046614;

020 a| 3540212981 (alk. paper);

035 a| (WaSeSS)ssj0000157591;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

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

082 00 a| 0052| 22;

111 2 a| FOSSACS 2004d| (2004 :c| Barcelona, Spain)?| UNAUTHORIZED;

245 10 a| Foundations of software science and computation structuresh| [electronic resource] :b| 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /c| Igor Walukiewicz (ed.).;

260 a| Berlin ;a| New York :b| Springer,;

300 a| xiii, 528 p. :b| ill. ;c| 24 cm.;

440 0 a| Lecture notes in computer science,x| 0302-9743 ;v| 2987;

504 a| Includes bibliographical references and index.;

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

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

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

655 0 a| Electronic books.=| ^A491897;

700 1 a| Walukiewicz, Igor.?| UNAUTHORIZED;

711 2 a| ETAPS 2004d| (2004 :c| Barcelona, Spain)?| UNAUTHORIZED;

856 40 z| Full text available from Springer Booksu| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2F10.1007%2Fb95995;

856 40 z| Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)u| https://go.openathens.net/redirector/ecu.edu?url=https%3A%2F%2Flink.springer.com%2Fopenurl%3Fgenre%3Dbook%26isbn%3D978-3-540-21298-0;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER188;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL77;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC60;

596 a| 1 3 4;

998 a| 4085982;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085982-1001l| JNETm| JOYNERr| Ys| Yt| JNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085982-2001l| HSLELECm| HSLr| Ys| Yt| HEBKu| 1/1/2016x| EBOOKz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 4085982-3001l| MNETm| JMUSICr| Ys| Yt| MNESSBKu| 1/1/2016x| EBOOKz| JERESOURCE;

Foundations of software science and computation structures 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.).

Author/creator	FOSSACS 2004
Other author	Walukiewicz, Igor.
Other author	ETAPS 2004 (2004 : Barcelona, Spain)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xiii, 528 p. : ill. ; 24 cm.
Supplemental Content	Full text available from Springer Books
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects	Computer software--Congresses. System analysis--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2987
Bibliography note	Includes bibliographical references and index.
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2004046614
ISBN	3540212981 (alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Online Content Full text available from Springer Books Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)	✔ Available

Foundations of software science and computation structures 7th international conference, FOSSACS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings / Igor Walukiewicz (ed.).

Click here for more information about this title

Availability