Tools

LEADER 02053cam a22004814a 4500

001 ocm49312623;

003 OCoLC;

005 20141212164443.0;

007 cr un---------;

008 020307s2002 gw a b 101 0 eng ;

010 a| 2002021217;

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

035 a| (Sirsi) o49312623;

035 a| (OCoLC)49312623;

042 a| pcc;

049 a| EREE;

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

072 7 a| QA2| lcco;

082 00 a| 004.2/12| 21;

111 2 a| TACAS (Conference)n| (8th :d| 2002 :c| Grenoble, France)=| ^A527426;

245 10 a| Tools and algorithms for the construction and analysis of systems :b| 8th international conference, TACAS 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| Joost-Pieter Katoen, Perdita Stevens (eds.).;

246 30 a| TACAS 2002;

246 30 a| ETAPS 2002;

300 a| xiii, 482 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| 2280;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

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

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

700 1 a| Katoen, Joost-Pieter.=| ^A504868;

700 1 a| Stevens, Perdita.=| ^A527427;

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

856 41 u| http://link.springer-ny.com/link/service/series/0558/tocs/t2280.htmz| Restricted to Springer LINK subscribers;

994 a| X0b| ERE;

938 a| Otto Harrassowitzb| HARRn| har025009719c| 59.92 DEM;

596 a| 1;

998 a| 893576;

999 a| QA76.9.S88 T33 2002w| LCc| 1i| 30372011577589d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 11/21/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Tools and algorithms for the construction and analysis of systems : 8th international conference, TACAS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings / Joost-Pieter Katoen, Perdita Stevens (eds.).

Author/creator	TACAS (Conference)
Other author	Katoen, Joost-Pieter.
Other author	Stevens, Perdita.
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2002.
Description	xiii, 482 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Portion of title	TACAS 2002
Portion of title	ETAPS 2002
Series	Lecture notes in computer science ; 2280 Lecture notes in computer science 2280. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also available via the World Wide Web.
LCCN	2002021217
ISBN	3540434194 (softcover : alk. paper)

Availability

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

Click here for more information about this title

Availability