Tools

LEADER 02609cam a2200613Ia 4500

001 ocm65207916;

003 OCoLC;

005 20141211185951.0;

008 060324s2006 gw a 101 0 eng d;

015 a| GBA6453312| bnb;

016 7 a| 9787193012| GyFmDB;

016 7 a| 0134533542| Uk;

020 a| 3540330453 (pbk.);

020 a| 9783540330455;

029 0 a| OHXb| har060035712;

035 a| (Sirsi) o65207916;

035 a| (OCoLC)65207916;

049 a| EREE;

050 4 a| QA76.751b| .F67 2006;

072 7 a| QA2| lcco;

082 04 a| 0052| 22;

111 2 a| FOSSACS (Conference)n| (9th :d| 2006 :c| Vienna, Austria)=| ^A635837;

245 10 a| Foundations of software science and computation structures :b| 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings /c| Luca Aceto, Anna Ingólfsdottir (eds.).;

246 30 a| FOSSACS 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| xv, 445 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| 3921,x| 0302-9743 ;;

504 a| Includes bibliographical references and index.;

530 a| Also issued online.;

650 0 a| Computer softwarev| Congresses.=| ^A167054;

650 0 a| System analysisv| Congresses.=| ^A51061;

653 1 a| FOSSACS;

653 1 a| Software science;

653 1 a| Computation structures;

700 1 a| Aceto, Luca.=| ^A303260;

700 0 a| Anna Ingólfsdóttir.=| ^A635838;

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

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

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

994 a| 92b| ERE;

910 a| PromptCat;

938 a| Otto Harrassowitzb| HARRn| har060035712c| 64.20 EUR;

938 a| Baker & Taylorb| BKTYc| 84.00d| 84.00i| 3540330453n| 0006757694s| active;

980 a| 2006-05-17b| 84d| 0e| 79.8f| 885891;

596 a| 1;

998 a| 1036653;

999 a| QA76.751 .F67 2006w| LCc| 1i| 30372013696585d| 2/14/2013f| 2/14/2013g| 1l| JGESm| JOYNERp| $79.80r| Ys| Yt| JGESBKu| 5/23/2006x| BOOKz| JSTACKSo| .STAFF. 0;

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings / Luca Aceto, Anna Ingólfsdottir (eds.).

Author/creator	FOSSACS (Conference)
Other author	Aceto, Luca.
Other author	Anna Ingólfsdóttir.
Other author	ETAPS (Conference) 2006 : Vienna, Austria)
Format	Book
Publication Info	Berlin ; New York : Springer, 2006.
Description	xv, 445 pages : illustrations ; 24 cm.
Supplemental Content	Restricted to SpringerLink subscribers
Subjects	Computer software--Congresses. System analysis--Congresses.

Portion of title	FOSSACS 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 ; 3921, 0302-9743 ; Lecture notes in computer science 3921. ^A466336
Bibliography note	Includes bibliographical references and index.
Other forms	Also issued online.
ISBN	3540330453 (pbk.)
ISBN	9783540330455

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.751 .F67 2006	✔ Available	Place Hold

Foundations of software science and computation structures : 9th international conference, FOSSACS 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006 : proceedings / Luca Aceto, Anna Ingólfsdottir (eds.).

Click here for more information about this title

Availability