Tools

LEADER 02486cam 22004814a 4500

001 ssj0000323277;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 020312s2002 gw a sb 101 0 eng d;

010 a| 2002020904;

020 a| 354043366X (softcover : alk. paper);

035 a| (WaSeSS)ssj0000323277;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

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

082 00 a| 005.12| 21;

111 2 a| FOSSACS 2002d| (2002 :c| Grenoble, France)?| UNAUTHORIZED;

245 10 a| Foundations of software science and computation structuresh| [electronic resource] :b| 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /c| Mogens Nielsen, Uffe Engberg, eds.;

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

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

440 0 a| Lecture notes in computer science ;v| 2303;

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| Nielsen, M.q| (Mogens),d| 1949-=| ^A370530;

700 1 a| Engberg, Uffe,d| 1959-=| ^A527070;

711 2 a| ETAPS 2002d| (2002 :c| Grenoble, France)?| UNAUTHORIZED;

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-43366-8;

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%2F3-540-45931-6;

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| 4085981;

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

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

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

Foundations of software science and computation structures 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Mogens Nielsen, Uffe Engberg, eds.

Author/creator	FOSSACS 2002
Other author	Nielsen, M. (Mogens), 1949-
Other author	Engberg, Uffe, 1959-
Other author	ETAPS 2002 (2002 : Grenoble, France)
Format	Electronic
Publication Info	Berlin : New York : Springer,
Description	xiii, 433 p. : ill. ; 24 cm.
Supplemental Content	Full text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Supplemental Content	Full text available from Springer Books
Subjects	Computer software--Congresses. System analysis--Congresses.

Series	Lecture notes in computer science ; 2303
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	2002020904
ISBN	354043366X (softcover : alk. paper)

Foundations of software science and computation structures 5th International Conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Mogens Nielsen, Uffe Engberg, eds.

Click here for more information about this title