Tools

LEADER 12453cam 2201045 a 4500

001 ocm50755307;

003 OCoLC;

005 20260127093955.0;

007 cr un|||||||||;

008 020214s2001 enka b 101 0 eng ;

010 a| 2002283770;

015 a| GBA2138822| bnb;

015 a| 02,N04,02842| dnb;

016 7 a| 9634966702| DE-101;

016 7 a| 0065988822| Uk;

016 7 a| 0097288632| Uk;

019 a| 49035993a| 49045413a| 290534844a| 939472009a| 1170445926a| 1171597876;

020 a| 3540431594q| (pbk.);

020 a| 9783540431596q| (pbk.);

024 3 a| 9783540431596;

029 1 a| AU@b| 000023377788;

029 1 a| AU@b| 000023532566;

029 1 a| AU@b| 000027000366;

029 1 a| DEBBGb| BV014086967;

029 1 a| DEBSZb| 096856122;

029 1 a| NLGGCb| 237135957;

029 1 a| NZ1b| 6751944;

029 1 a| UKMGBb| 006598882;

029 1 a| YDXCPb| 1848944;

029 1 a| ZWZb| 069044813;

029 1 a| AU@b| 000073153467;

035 a| (Sirsi) o50755307;

049 a| EREE;

050 00 a| QA76.76.D47b| W33 2001;

055 3 a| QA75b| .L38 no.2267;

082 04 a| 005.12| 211| https://id.oclc.org/worldcat/ddc/E3jXFdk4KYFKwJQWKPH9rDFJPB;

084 a| PL 502| blsrissc;

084 a| SS 48002| rvk;

084 a| DAT 510f2| stub;

111 2 a| WADT 2001d| (2001 :c| Genoa, Italy)=| ^A1485801;

245 10 a| Recent trends in algebraic development techniques :b| 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers /c| Maura Cerioli, Gianna Reggio (eds.).;

300 a| x, 343 pages :b| illustrations ;c| 24 cm.;

336 a| textb| txt2| rdacontent;

337 a| unmediatedb| n2| rdamedia;

338 a| volumeb| nc2| rdacarrier;

490 1 a| Lecture notes in computer science,x| 0302-9743 ;v| 2267;

504 a| Includes bibliographical references and index.;

530 a| Also available via the World Wide Web.;

505 0 a| Interactive rule-based specification with an application to visual language definition / R. Bardohl, M. Grosse-Rhode, and M. Simeoni -- Algebraic abstractions / Michel Bidoit and Alexandre Boisseau -- Combining logics : parchments revisited / C. Caleiro [and others] -- Canonical institutions of behaviour / J. Felix Costa and H. Lourenco -- The Lubeck transformation system : a transformation system for equational higher order algebraic specifications / Walter Dosch and Sonke Magnussen -- On the compatibility of model and model-class transformations / Maike Gajewsky and Francesco Parisi-Presicce -- Verifying a simple pipelined microprocessor using maude / N.A. Harman -- Verifying architectural specifications / Piotr Hoffman -- Geometric modelling with CASL / Franck Ledoux [and others] -- A compositional approach to connector construction / Antonia Lopes, Michel Wermelinger, and Jose Luiz Fiadeiro -- Institution independent static analysis for CASL / Till Mossakowski and Bartek Klin -- Tight and loose semantics for transformation systems / Fernando Orejas, Hartmut Ehrig, and Elvira Pino -- Presentations for abstract context institutions / Wieslaw Pawlowski -- Programs, proofs and parametrized specifications / Iman Poernomo, John N. Crossley, and Martin Wirsing -- Towards trustworthy specifications I: consistency checks / Markus Roggenbach and Lutz Schroder -- The common framework initiative for algebraic specification and development of software: recent progress / Donald Sannella.;

506 a| Internet access restricted to Vanderbilt users.;

520 a| Thealgebraicapproachtosystemspeci?cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci?cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1-3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede?nitionof theCommonAlgebraicSpeci?cationLanguage(CASL).^ TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci?cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: -algebraicspeci?cation -otherapproachestoformalspeci?cation -speci?cationlanguagesandmethods -termrewritingandproofsystems -speci?cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee.^ Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti?cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci?cation(seehttp://www. brics. dk/pdm/IFIP-WG1. 3).^ November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J·orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth · PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo?man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci?cation. TableofContents InteractiveRule-BasedSpeci?cationwithanApplication toVisualLanguageDe?nition . . . . . . . . . . . . . . . . . .^ . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Lourenıco TheLub ·eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci?cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipelinedMicroprocessorUsingMaude . . . . . . . . . . . . . . 128 N. A. Harman VerifyingArchitecturalSpeci?cations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 P.^ Ho?man GeometricModellingwithCASL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176 F. Ledoux,A. Arnould,P. LeGall,andY. Bertrand ACompositionalApproachtoConnectorConstruction . . . . . . . . . . . . . . . . . 201 A. Lopes,M. Wermelinger,andJ. L. Fiadeiro InstitutionIndependentStaticAnalysisforCasl . . . . . . . . . . . . . . . . . . . . . . . . 221 T. MossakowskiandB. Klin TightandLooseSemanticsforTransformationSystems. . . . . . . . . . . . . . . . . 238 F. Orejas,H. Ehrig,andE. Pino PresentationsforAbstractContextInstitutions. . . . . . . . . . . . . . . . . . . . . . . . 256 W. Paw lowski Programs,ProofsandParametrizedSpeci?cations. . . . . . . . . . . . . . . . . . . . . . 280 I. Poernomo,J. N. Crossley,andM. Wirsing TowardsTrustworthySpeci?cationsI:ConsistencyChecks . . . . . . . . . . . . . . 305 M. RoggenbachandL. Schr·oder X TableofContents TheCommonFrameworkInitiativeforAlgebraicSpeci?cation andDevelopmentofSoftware:RecentProgress. . . . . . . . .^ . . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345 InteractiveRule-BasedSpeci?cationwithan ApplicationtoVisualLanguageDe?nition 1 1 2 Roswitha Bardohl , Martin Große-Rhode , and Marta Simeoni 1 Institutfur · SoftwaretechnikundTheoretischeInformatik,TUBerlin, {rosi,mgr}@cs. tu-berlin. de 2 DipartimentodiInformatica,Universit`aCa`FoscaridiVenezia, simeoni@dsi. unive. it Abstract. Inarule-basedapproachthecomputationstepsofasystem arespeci?edbyrulesthatcompletelyde?nehowthesystem'sstatemay change. Foropensystemsamoreliberalapproachisrequired,wherethe statechangesareonlypartlyspeci?ed,and-interactively-otherc- ponents may contribute further information on how the transformation isde?nedcompletely.;

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

650 0 a| Computer sciencex| Mathematicsv| Congresses.=| ^A248247;

650 0 a| Abstract data types (Computer science)v| Congresses.=| ^A1235021;

650 7 a| Abstract data types (Computer science)2| fast0| (OCoLC)fst00794745;

650 7 a| Computer sciencex| Mathematics.2| fast0| (OCoLC)fst00872460;

650 7 a| Computer softwarex| Development.2| fast0| (OCoLC)fst00872537;

650 7 a| Algebraische Spezifikation.2| gnd0| (DE-588)4207192-6;

650 7 a| Kongress.2| gnd0| (DE-588)4130470-6;

650 7 a| Computer sciencex| Mathematicsv| Congresses.2| nli;

650 7 a| Computer softwarex| Developmentv| Congresses.2| nli;

650 7 a| Abstract data types (Computer science)v| Congresses.2| nli;

650 7 a| Logicielsx| Développementx| Congrès.2| ram;

650 7 a| Types abstraits de données (informatique)x| Congrès.2| ram;

650 7 a| Informatiquex| Mathématiquesx| Congrès.2| ram;

655 4 a| Kongressz| Genuay| 2001.;

655 7 a| Conference papers and proceedings.2| fast0| (OCoLC)fst01423772;

655 7 a| Genua (2001)2| swd;

700 1 a| Cerioli, Maura.=| ^A521844;

700 1 a| Reggio, Gianna,d| 1957-1| https://id.oclc.org/worldcat/entity/E39PCjxPyRBBKcVT7TGGWJrBxC=| ^A521845;

830 0 a| Lecture notes in computer science ;v| 2267.=| ^A466336;

856 41 3| SpringerLinku| https://doi.org/10.1007/3-540-45645-7;

856 41 3| Table of contentsu| http://swbplus.bsz-bw.de/bsz096856122inh.htm;

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

856 41 u| http://link.springer.de/link/service/series/0558/tocs/t2267.htmz| SpringerLink;

856 42 3| Publisher descriptionu| http://catdir.loc.gov/catdir/enhancements/fy0817/2002283770-d.html;

856 4 3| Coveru| http://swbplus.bsz-bw.de/bsz096856122cov.htm;

856 4 3| Kapitel 1u| http://swbplus.bsz-bw.de/bsz096856122kap.htm;

856 4 x| LNCSu| http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2267z| Connect to Internet resource;

856 41 u| http://www.link.springer.de/link/service/series/0558/tocs/t2267.htm;

938 a| Ingram Library Servicesb| INGRn| in010646831;

938 a| Otto Harrassowitzb| HARRn| har020007794;

938 a| YBP Library Servicesb| YANKn| 1848944;

994 a| C0b| ERE;

596 a| 1;

998 a| 884588;

999 a| QA76.76.D47 W33 2001w| LCc| 1i| 30372011561971d| 2/20/2013f| 2/20/2013g| 2l| JGESm| JOYNERr| Ys| Yt| JGESBKu| 8/16/2002x| BOOKz| JSTACKSo| .STAFF. 0;

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers / Maura Cerioli, Gianna Reggio (eds.).

Author/creator	WADT 2001
Other author	Cerioli, Maura.
Other author	Reggio, Gianna, 1957-
Format	Electronic
Publication Info	Berlin ; London : Springer, ©2001.
Description	x, 343 pages : illustrations ; 24 cm.
Supplemental Content	SpringerLink
Supplemental Content	Table of contents
Supplemental Content	Restricted to Springer LINK subscribers
Supplemental Content	SpringerLink
Supplemental Content	Publisher description
Supplemental Content	Cover
Supplemental Content	Kapitel 1
Supplemental Content	Connect to Internet resource
Supplemental Content	http://www.link.springer.de/link/service/series/0558/tocs/t2267.htm
Subjects	Computer software--Development. --Congresses. Computer science--Mathematics. --Congresses. Abstract data types (Computer science)--Congresses.

Series	Lecture notes in computer science, 0302-9743 ; 2267 Lecture notes in computer science ; 2267. ^A466336
Contents	Interactive rule-based specification with an application to visual language definition / R. Bardohl, M. Grosse-Rhode, and M. Simeoni -- Algebraic abstractions / Michel Bidoit and Alexandre Boisseau -- Combining logics : parchments revisited / C. Caleiro [and others] -- Canonical institutions of behaviour / J. Felix Costa and H. Lourenco -- The Lubeck transformation system : a transformation system for equational higher order algebraic specifications / Walter Dosch and Sonke Magnussen -- On the compatibility of model and model-class transformations / Maike Gajewsky and Francesco Parisi-Presicce -- Verifying a simple pipelined microprocessor using maude / N.A. Harman -- Verifying architectural specifications / Piotr Hoffman -- Geometric modelling with CASL / Franck Ledoux [and others] -- A compositional approach to connector construction / Antonia Lopes, Michel Wermelinger, and Jose Luiz Fiadeiro -- Institution independent static analysis for CASL / Till Mossakowski and Bartek Klin -- Tight and loose semantics for transformation systems / Fernando Orejas, Hartmut Ehrig, and Elvira Pino -- Presentations for abstract context institutions / Wieslaw Pawlowski -- Programs, proofs and parametrized specifications / Iman Poernomo, John N. Crossley, and Martin Wirsing -- Towards trustworthy specifications I: consistency checks / Markus Roggenbach and Lutz Schroder -- The common framework initiative for algebraic specification and development of software: recent progress / Donald Sannella.
Abstract	Thealgebraicapproachtosystemspeci?cationanddevelopment,borninthe early1970sasaformalmethodforabstractdatatypes,encompassestoday,atthe beginningofthethirdmillennium,theformaldesignofintegratedhardwareand softwaresystems,newspeci?cationframeworksandprogrammingparadigms, andawiderangeofapplicationareas. TheworkshopsonAlgebraicDevelopment Techniques,initiatedin1982astheworkshoponAbstractDataTypes,area prominentforumtopresentanddiscusscurrentresearchinthatarea. The15thInternationalWorkshoponAlgebraicDevelopmentTechniques (WADT2001)tookplaceinGenova,asasatelliteofETAPS2001,onApril 1-3,2001,andwasorganizedbyMauraCerioliandGiannaReggio. From1991to1995WADTworkshopswereheldjointlywiththeGeneral WorkshopoftheESPRITBasicResearchWorkingGroupCOMPASS. Following thistradition,theWADT2001washeldjointlywiththeGeneralWorkshopof theESPRITWorkingGroupCoFI. TheCommonFrameworkInitiative,started in1995andfundedsince1998asCoFIWG,iscenteredaroundthede?nitionof theCommonAlgebraicSpeci?cationLanguage(CASL).^ TheprogramstartedwithafulldaytutorialontheCASL,followedby32 presentations,severalofthemontheCASLaswell,organizedinparallelsessions duringthefollowingtwodays. Theparallelsessionsweredevotedto:logicsand proofs,concurrentprocesses,institutionsandcategories,applicationsandcase studies,higher-orderandparameterizedspeci?cations,staticanalysis,software architectures,graphandtransformationrules. Themaintopicsoftheworkshopwere: -algebraicspeci?cation -otherapproachestoformalspeci?cation -speci?cationlanguagesandmethods -termrewritingandproofsystems -speci?cationdevelopmentsystems(concepts,tools,etc. ) Theprogramcommitteeinvitedsubmissionsoffullpapersforpossibleinclusion inthisvolume,onthebasisoftheabstractsandthepresentationsatWADT 2001. Allthesubmissionsweresubjecttocarefulrefereeing,andtheselectionof paperswasmadefollowingfurtherdiscussionbythefullprogramcommittee.^ Weareextremelygratefultoallworkshopparticipants,tothe(other)m- bersoftheprogramcommittee,andtotheexternalrefereesfortheircontribution tothescienti?cqualityoftheworkshopandofthisvolume. TheWADTseriesissponsoredbyIFIPWG1. 3onFoundationsofSystem Speci?cation(seehttp://www. brics. dk/pdm/IFIP-WG1. 3).^ November2001 MauraCerioliandGiannaReggio Organization ProgramCommittee MichelBidoit (Cachan,France) MauraCerioli (Genova,Italy) Hans-J·orgKreowski (Bremen,Germany) PeterMosses,chair (Aarhus,Denmark) FernandoOrejas (Barcelona,Spain) FrancescoParisi-Presicce (Roma,Italy) GiannaReggio (Genova,Italy) DonaldSannella (Edinburgh,Scotland) AndrzejTarlecki (Warsaw,Poland) ExternalReferees EgidioAstesiano ManuelKoch MarekBednarczyk MikolajKonarski BenjaminBlanc AlexanderKurz AlexandreBoisseau SabineKuske TomaszBorzyszkowski SlawomirLasota PaoloBottoni ChristophLuth · PaoloCenciarelli DirkPattinson HartmutEhrig Wies lawPawlo wski StevenEker Jean-ClaudeReynaud JeanGoubault-Larrecq MarkusRoggenbach PiotrHo?man SponsoringInstitutions CoFI(CommonFrameworkInitiative),ESPRITWorkingGroup29432. DISI,Universit`adegliStudidiGenova. IFIPWG1. 3onFoundationsofSystemSpeci?cation. TableofContents InteractiveRule-BasedSpeci?cationwithanApplication toVisualLanguageDe?nition . . . . . . . . . . . . . . . . . .^ . . . . . . . . . . . . . . . . . . . . . 1 R. Bardohl,M. Große-Rhode,andM. Simeoni AlgebraicAbstractions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21 M. BidoitandA. Boisseau CombiningLogics:ParchmentsRevisited. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 C. Caleiro,P. Mateus,J. Ramos,A. Sernadas CanonicalInstitutionsofBehaviour . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 J. F. CostaandH. Lourenıco TheLub ·eckTransformationSystem:ATransformationSystem forEquationalHigherOrderAlgebraicSpeci?cations . . . . . . . . . . . . . . . . . . . 85 W. DoschandS. Magnussen OntheCompatibilityofModelandModel-ClassTransformations . . . . . . . 109 M. GajewskyandF. Parisi-Presicce VerifyingaSimplePipelinedMicroprocessorUsingMaude . . . . . . . . . . . . . . 128 N. A. Harman VerifyingArchitecturalSpeci?cations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152 P.^ Ho?man GeometricModellingwithCASL. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 176 F. Ledoux,A. Arnould,P. LeGall,andY. Bertrand ACompositionalApproachtoConnectorConstruction . . . . . . . . . . . . . . . . . 201 A. Lopes,M. Wermelinger,andJ. L. Fiadeiro InstitutionIndependentStaticAnalysisforCasl . . . . . . . . . . . . . . . . . . . . . . . . 221 T. MossakowskiandB. Klin TightandLooseSemanticsforTransformationSystems. . . . . . . . . . . . . . . . . 238 F. Orejas,H. Ehrig,andE. Pino PresentationsforAbstractContextInstitutions. . . . . . . . . . . . . . . . . . . . . . . . 256 W. Paw lowski Programs,ProofsandParametrizedSpeci?cations. . . . . . . . . . . . . . . . . . . . . . 280 I. Poernomo,J. N. Crossley,andM. Wirsing TowardsTrustworthySpeci?cationsI:ConsistencyChecks . . . . . . . . . . . . . . 305 M. RoggenbachandL. Schr·oder X TableofContents TheCommonFrameworkInitiativeforAlgebraicSpeci?cation andDevelopmentofSoftware:RecentProgress. . . . . . . . .^ . . . . . . . . . . . . . . . . 328 D. Sannella AuthorIndex . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345 InteractiveRule-BasedSpeci?cationwithan ApplicationtoVisualLanguageDe?nition 1 1 2 Roswitha Bardohl , Martin Große-Rhode , and Marta Simeoni 1 Institutfur · SoftwaretechnikundTheoretischeInformatik,TUBerlin, {rosi,mgr}@cs. tu-berlin. de 2 DipartimentodiInformatica,Universit`aCa`FoscaridiVenezia, simeoni@dsi. unive. it Abstract. Inarule-basedapproachthecomputationstepsofasystem arespeci?edbyrulesthatcompletelyde?nehowthesystem'sstatemay change. Foropensystemsamoreliberalapproachisrequired,wherethe statechangesareonlypartlyspeci?ed,and-interactively-otherc- ponents may contribute further information on how the transformation isde?nedcompletely.
Bibliography note	Includes bibliographical references and index.
Access restriction	Internet access restricted to Vanderbilt users.
Other forms	Also available via the World Wide Web.
Genre/form	Kongress Genua 2001.
Genre/form	Conference papers and proceedings.
Genre/form	Genua (2001)
LCCN	2002283770
ISBN	3540431594 (pbk.)
ISBN	9783540431596 (pbk.)
Standard identifier#	9783540431596

Availability

Library	Location	Call Number	Status	Item Actions
Joyner	General Stacks	QA76.76.D47 W33 2001	✔ Available	Place Hold

Recent trends in algebraic development techniques : 15th international workshop, WADT 2001 Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 : selected papers / Maura Cerioli, Gianna Reggio (eds.).

Click here for more information about this title

Availability