Tools

LEADER 02490cam a22004814a 4500

001 ssj0000327271;

003 WaSeSS;

005 20240412080346.0;

006 m d ;

007 cr n ;

008 010308s2001 gw a sb 101 0 eng d;

010 a| 2001020737;

020 a| 3540418652 (pbk. : alk. paper);

035 a| (WaSeSS)ssj0000327271;

040 a| DLCc| DLCd| DLCd| WaSeSS;

042 a| pcc;

049 a| EREEa| NEHH;

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

082 00 a| 004.2/112| 21;

111 2 a| TACAS 2001d| (2001 :c| Genoa, Italy)?| UNAUTHORIZED;

245 10 a| Tools and algorithms for the construction and analysis of systemsh| [electronic resource] :b| 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings /c| Tiziana Margaria, Wang Yi (eds.).;

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

300 a| xiv, 588 p. :b| ill. ;c| 24 cm.;

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

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| System designv| Congresses.=| ^A121730;

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

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

700 1 a| Margaria-Steffen, Tiziana,d| 1964-=| ^A704611;

700 1 a| Yi, Wang.=| ^A489189;

711 2 a| ETAPS 2001d| (2001 :c| Genoa, Italy)?| 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%2F3-540-45319-9;

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

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

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

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

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

Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.).

Author/creator	TACAS 2001
Other author	Margaria-Steffen, Tiziana, 1964-
Other author	Yi, Wang.
Other author	ETAPS 2001 (2001 : Genoa, Italy)
Format	Electronic
Publication Info	Berlin ; New York : Springer,
Description	xiv, 588 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	System design--Congresses. Computer software--Development. --Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2031
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	2001020737
ISBN	3540418652 (pbk. : 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

Tools and algorithms for the construction and analysis of systems 7th international conference, TACAS 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2-6, 2001 : proceedings / Tiziana Margaria, Wang Yi (eds.).

Click here for more information about this title

Availability