Research Catalog

Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers

Title
Recent trends in algebraic development techniques : 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers / Andrea Corradini, Ugo Montanari (eds.).
Author
WADT 2008 (2008 : Pisa, Italy)
Publication
Berlin ; New York : Springer, c2009.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
TextUse in library QA76.76.D47 W33 2008gOff-site

Details

Additional Authors
  • Corradini, Andrea, 1960-
  • Montanari, U. (Ugo)
Description
viii, 341 p. : ill.; 24 cm.
Series Statement
  • Lecture notes in computer science ; 5486
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues
Uniform Title
  • Lecture notes in computer science ; 5486.
  • LNCS sublibrary. SL 1, Theoretical computer science and general issues.
Alternative Title
WADT 2008
Subject
  • Computer software > Development > Congresses
  • Computer science > Mathematics > Congresses
  • Abstract data types (Computer science) > Congresses
Bibliography (note)
  • Includes bibliographical references and index.
ISBN
  • 9783642034282
  • 3642034284
OCLC
  • 428028307
  • ocn428028307
  • SCSB-5489046
Owning Institutions
Columbia University Libraries