Tools

LEADER 01913cam a22004574a 4500

001 ocm46501729;

003 OCoLC;

005 20141212155909.0;

007 cr unu--------;

008 010308s2001 gw a b 101 0 eng ;

010 a| 2001020737;

015 a| GBA1-22053;

019 a| 46807732;

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

035 a| (Sirsi) o46501729;

035 a| (OCoLC)46501729;

042 a| pcc;

049 a| EREE;

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

082 00 a| 004.2/112| 21;

111 2 a| TACAS (Conference)n| (7th :d| 2001 :c| Genoa, Italy)=| ^A489188;

245 10 a| Tools and algorithms for the construction and analysis of systems :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.).;

300 a| xiv, 588 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| 2031;

504 a| Includes bibliographical references and index.;

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

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

700 1 a| Margaria, Tiziana.?| UNAUTHORIZED;

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

711 2 a| ETAPS (Conference)n| (4th :d| 2001 :c| Genoa, Italy)=| ^A489186;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2031.htm;

994 a| X0b| ERE;

596 a| 1;

998 a| 848679;

999 a| QA76.9.S88 T33 2001w| LCc| 1i| 30372011159586d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/2/2001x| BOOKz| JSTACKSo| .STAFF. 0;

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 (Conference)
Other author	Margaria, Tiziana.
Other author	Yi, Wang.
Other author	ETAPS (Conference) 2001 : Genoa, Italy)
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2001.
Description	xiv, 588 pages : illustrations ; 24 cm.
Supplemental Content	http://link.springer-ny.com/link/service/series/0558/tocs/t2031.htm
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Series	Lecture notes in computer science ; 2031 Lecture notes in computer science 2031. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	2001020737
ISBN	3540418652 (pbk. : alk. paper)

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.9.S88 T33 2001	✔ Available	Place Hold

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