Tools

LEADER 02181cam a22004934a 4500

001 ocm59117745;

003 OCoLC;

005 20141211183557.0;

007 cr un- ;

008 050216s2005 gw a b 101 0 eng ;

010 a| 2005922497;

020 a| 3540253335 (soft cover);

020 a| 9783540253334;

035 a| (Sirsi) o59117745;

035 a| (OCoLC)59117745;

042 a| pcc;

049 a| EREE;

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

082 00 a| 005.12| 22;

111 2 a| TACAS (Conference)n| (11th :d| 2005 :c| Edinburgh, Scotland)=| ^A606492;

245 10 a| Tools and algorithms for the construction and analysis of systems :b| 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings /c| Nicolas Halbwachs, Lenore D. Zuck (eds.).;

260 a| Berlin ;a| New York :b| Springer,c| 2005.;

300 a| xvii, 585 pages :b| illustrations ;c| 23 cm.;

336 a| text2| rdacontent;

337 a| computer2| rdamedia;

338 a| online resource2| rdacarrier;

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

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

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

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

700 1 a| Halbwachs, Nicolas.=| ^A422535;

700 1 a| Zuck, Lenore D.,d| 1958-=| ^A535730;

711 2 a| ETAPS (Conference)n| (8th :d| 2005 :c| Edinburgh, Scotland)=| ^A606384;

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

856 41 u| http://springerlink.metapress.com/openurl.asp?genre=issue&issn=0302-9743&volume=3440z| Restricted to SpringerLink subscribers;

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Baker & Taylorb| BKTYc| 95.00d| 95.00i| 3540253335n| 0006432172s| active;

980 a| 2005-10-05b| 95d| 0e| 90.25f| 682782;

596 a| 1;

998 a| 1013361;

999 a| QA76.9.S88 T33 2005w| LCc| 1i| 30372013461949d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $90.25r| Ys| Yt| JGESBKu| 10/12/2005x| BOOKz| JSTACKSo| .STAFF. 0;

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.).

Author/creator	TACAS (Conference)
Other author	Halbwachs, Nicolas.
Other author	Zuck, Lenore D., 1958-
Other author	ETAPS (Conference) 2005 : Edinburgh, Scotland)
Format	Electronic
Publication Info	Berlin ; New York : Springer, 2005.
Description	xvii, 585 pages : illustrations ; 23 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Series	Lecture notes in computer science ; 3440 Lecture notes in computer science 3440. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2005922497
ISBN	3540253335 (soft cover)
ISBN	9783540253334

Availability

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

Tools and algorithms for the construction and analysis of systems : 11th international conference, TACAS 2005, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005 : proceedings / Nicolas Halbwachs, Lenore D. Zuck (eds.).

Click here for more information about this title

Availability