Tools

LEADER 02482cam a2200553Ia 4500

001 ocm65207911;

003 OCoLC;

005 20141211185953.0;

008 060324s2006 gw 101 0 eng d;

010 a| 2006922189;

016 7 a| 9787173092| GyFmDB;

020 a| 3540330569 (pbk.);

020 a| 9783540330561;

029 0 a| OHXb| har060035552;

035 a| (Sirsi) o65207911;

035 a| (OCoLC)65207911;

049 a| EREE;

072 7 a| Q2| lcco;

090 a| QA76.9.S88b| T33 2006;

111 2 a| TACAS (Conference)n| (12th :d| 2006 :c| Vienna, Austria)=| ^A635863;

245 10 a| Tools and algorithms for the construction and analysis of systems :b| 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings /c| Holger Hermanns, Jens Palsberg (eds.).;

246 30 a| TACAS 2006;

246 30 a| ETAPS 2006;

246 30 a| Joint European Conferences on Theory and Practice of Software;

246 1 i| Added title on cover:a| European Joint Conferences on Theory and Practice of Software;

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

300 a| xvi, 506 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| 3920,x| 0302-9743 ;;

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| Hermanns, Holger,d| 1967-=| ^A504867;

700 1 a| Palsberg, Jens.=| ^A458380;

711 2 a| ETAPS (Conference)n| (9th :d| 2006 :c| Vienna, Austria)=| ^A635824;

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060035552c| 68.48 EUR;

938 a| Baker & Taylorb| BKTYc| 89.00d| 89.00i| 3540330569n| 0006757693s| active;

980 a| 2006-05-17b| 89d| 0e| 84.55f| 885891;

596 a| 1;

998 a| 1036683;

999 a| QA76.9.S88 T33 2006w| LCc| 1i| 30372013696270d| 3/19/2013f| 3/19/2013g| 1l| JGESm| JOYNERp| $84.55r| Ys| Yt| JGESBKu| 5/23/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Tools and algorithms for the construction and analysis of systems : 12th international conference, TACAS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006 : proceedings / Holger Hermanns, Jens Palsberg (eds.).

Author/creator	TACAS (Conference)
Other author	Hermanns, Holger, 1967-
Other author	Palsberg, Jens.
Other author	ETAPS (Conference) 2006 : Vienna, Austria)
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	xvi, 506 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	System design--Congresses. Computer software--Development. --Congresses.

Portion of title	TACAS 2006
Portion of title	ETAPS 2006
Portion of title	Joint European Conferences on Theory and Practice of Software
Variant title	Added title on cover: European Joint Conferences on Theory and Practice of Software
Series	Lecture notes in computer science ; 3920, 0302-9743 ; Lecture notes in computer science 3920. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
LCCN	2006922189
ISBN	3540330569 (pbk.)
ISBN	9783540330561

Availability

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

Click here for more information about this title

Availability