Tools

LEADER 02002cam 22004574a 4500

001 ocm43662175;

003 OCoLC;

005 20141212142627.0;

008 000309s2000 gw a b 101 0 eng ;

010 a| 00029648;

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

035 a| (Sirsi) o43662175;

035 a| (OCoLC)43662175;

042 a| pcc;

049 a| EREE;

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

072 7 a| Q2| lcco;

082 00 a| 004.2/12| 21;

111 2 a| TACAS 2000n| (6th :d| 2000 :c| Berlin, Germany)?| UNAUTHORIZED;

245 10 a| Tools and algorithms for the construction and analysis of systems :b| 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings /c| Susanne Graf, Michael Schwartzbach (eds.).;

246 18 a| TACAS 2000, tools and algorithms for the construction and analysis of systems;

300 a| xiv, 552 pages :b| illustrations ;c| 24 cm.;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

490 1 a| Lecture notes in computer science ;v| 1785;

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| Graf, Susanne.=| ^A454134;

700 1 a| Schwartzbach, Michael I.=| ^A370531;

711 2 a| ETAPS (Conference)n| (3rd :d| 2000 :c| Berlin, Germany)=| ^A454042;

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

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har000783409c| 122.00 DEM;

980 a| 2000-05-31b| 85d| 4.28e| 71.4f| 325719;

596 a| 1;

998 a| 746584;

999 a| QA76.9.S88 T33 2000w| LCc| 1i| 30372010800875d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $71.40r| Ys| Yt| JGESBKu| 8/8/2000x| BOOKz| JSTACKSo| .STAFF. 0;

Tools and algorithms for the construction and analysis of systems : 6th international conference, TACAS 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings / Susanne Graf, Michael Schwartzbach (eds.).

Author/creator	TACAS 2000
Other author	Graf, Susanne.
Other author	Schwartzbach, Michael I.
Other author	ETAPS (Conference) 2000 : Berlin, Germany)
Format	Book
Publication Info	Berlin ; New York : Springer, ©2000.
Description	xiv, 552 pages : illustrations ; 24 cm.
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Spine title	TACAS 2000, tools and algorithms for the construction and analysis of systems
Series	Lecture notes in computer science ; 1785 Lecture notes in computer science 1785. ^A466336
Bibliography note	Includes bibliographical references and index.
LCCN	00029648
ISBN	3540672826 (softcover : alk. paper)

Availability

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

Click here for more information about this title

Availability