Tools

LEADER 02208cam a22005174a 4500

001 ocm51892959;

003 OCoLC;

005 20141212170621.0;

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

008 030311s2003 gw a b 101 0 eng ;

010 a| 2003045501;

015 a| GBA3-26328;

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

035 a| (Sirsi) o51892959;

035 a| (OCoLC)51892959;

042 a| pcc;

049 a| EREE;

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

072 7 a| Q2| lcco;

082 00 a| 005.12| 21;

111 2 a| TACAS (Conference)n| (9th :d| 2003 :c| Warsaw, Poland)=| ^A538281;

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

246 30 a| TACAS 2003;

300 a| xvi, 604 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| 2619;

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| Garavel, Hubert,d| 1963-=| ^A538282;

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

711 2 a| ETAPS (Conference)n| (6th :d| 2003 :c| Warsaw, Poland)=| ^A538195;

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

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

994 a| X0b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har035010495c| 74.90 EUR;

980 a| 2003-05-28b| 91d| 6.05e| 86.45f| 211779;

596 a| 1;

998 a| 909986;

999 a| QA76.9.S88 T33 2003w| LCc| 1i| 30372011497044d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $86.45r| Ys| Yt| JGESBKu| 6/18/2003x| BOOKz| JSTACKSo| .STAFF. 0;

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 (Conference)
Other author	Garavel, Hubert, 1963-
Other author	Hatcliff, John, 1966-
Other author	ETAPS (Conference) 2003 : Warsaw, Poland)
Format	Electronic
Publication Info	Berlin ; New York : Springer, ©2003.
Description	xvi, 604 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to Springer LINK subscribers
Subjects	System design--Congresses. Computer software--Development. --Congresses.

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

Availability

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

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