Tools

LEADER 02442cam a22004694a 4500

001 ssj0000327273;

003 WaSeSS;

005 20240512155341.0;

006 m d ;

007 cr n ;

008 030311s2003 gw a sb 101 0 eng d;

010 a| 2003045501;

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

035 a| (WaSeSS)ssj0000327273;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.9.S88b| T33 2003;

082 00 a| 005.12| 21;

111 2 a| TACAS 2003d| (2003 :c| Warsaw, Poland)?| UNAUTHORIZED;

245 10 a| Tools and algorithms for the construction and analysis of systemsh| [electronic resource] :b| 9th International Conference, TACAS 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| Hubert Garavel, John Hatcliff (eds.).;

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

300 a| xvi, 604 p. :b| ill. ;c| 24 cm.;

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

506 a| Available only to authorized users.;

538 a| Mode of access: World Wide Web;

650 0 a| System designv| Congresses.=| ^A121730;

650 0 a| Computer softwarex| Developmentv| Congresses.=| ^A191775;

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

700 1 a| Garavel, Hubert,d| 1963-=| ^A538282;

700 1 a| Hatcliff, John,d| 1966-=| ^A437388;

711 2 a| ETAPS 2003d| (2003 :c| Warsaw, Poland)?| 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-00898-9;

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-36577-X;

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

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

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

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

Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).

Author/creator	TACAS 2003
Other author	Garavel, Hubert, 1963-
Other author	Hatcliff, John, 1966-
Other author	ETAPS 2003 (2003 : Warsaw, Poland)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xvi, 604 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	System design--Congresses. Computer software--Development. --Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2619
Access restriction	Available only to authorized users.
Technical details	Mode of access: World Wide Web
Genre/form	Electronic books.
LCCN	2003045501
ISBN	3540008985 (softcover : alk. paper)

Availability

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

Tools and algorithms for the construction and analysis of systems 9th International Conference, TACAS 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings / Hubert Garavel, John Hatcliff (eds.).

Click here for more information about this title

Availability